Event-Based Time-Stamped Claim Logic - Ramos, Jaime; Rasga, João; Sernadas, Cristina; Viganò, Luca (Journal of logical and algebraic methods in programming, 2021)
Keywords: Completeness; Decidability; Events; Linear temporal logic; Time-stamps; Time-stamps; Decidability; Events; Completeness; Linear temporal logic