Time-Stamped Claim Logic

João Rasga, Cristina Sernadas, Erisa Karafili +1

The main objective of this paper is to define a logic for reasoning about distributed time-stamped claims. Such a logic is interesting for theoretical reasons, i.e., as a logic per…