Labelled Tableaux for Distributed Temporal Logic

DOI10.1093/logcom/exp022zbMath1196.03044OpenAlexW2151582871MaRDI QIDQ3656773

Jaime Ramos, Luca Viganò, David A. Basin, Carlos Caleiro

Publication date: 14 January 2010

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://doc.rero.ch/record/302017/files/exp022.pdf

zbMATH Keywords

completenesssoundnessdistributed temporal logicdicrete timelabelled tableaux systemuntil and since

Mathematics Subject Classification ID

Related Items (5)

Back from the future ⋮ A History of Until ⋮ A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations ⋮ Distributed temporal logic for the analysis of security protocol models ⋮ Event-based time-stamped claim logic

This page was built for publication: Labelled Tableaux for Distributed Temporal Logic