Event-Based Time-Stamped Claim Logic

• Published in: Journal of logical and algebraic methods in programming Vol. 121; p. 100684
• Main Authors: Ramos, Jaime, Rasga, João, Sernadas, Cristina, Viganò, Luca
• Format: Journal Article
• Language: English
• Published: Elsevier Inc 01.06.2021
• Subjects: Completeness; Decidability; Events; Linear temporal logic; Time-stamps; Time-stamps; Decidability; Events; Completeness; Linear temporal logic

The Event-Based Time-Stamped Claim Logic that we define in this paper allows one to reason about distributed time-stamped claims that can change through time by the occurrence of events. Such a logic is interesting for theoretical reasons, i.e., as a logic per se, but also because it can be applied...