Labelled Tableaux for Distributed Temporal Logic.
David A. BasinCarlos CaleiroJaime RamosLuca ViganòPublished in: J. Log. Comput. (2009)
Keyphrases
- temporal logic
- modal logic
- model checking
- satisfiability problem
- decision procedures
- computation tree logic
- transition systems
- concurrent systems
- distributed systems
- verification method
- belief revision
- mazurkiewicz traces
- linear temporal logic
- temporal knowledge
- inference rules
- epistemic logic
- model checker
- multi agent