From Linear to Branching-Time Temporal Logics: Transfer of Semantics and Definability.
Valentin GorankoAlberto ZanardoPublished in: Log. J. IGPL (2007)
Keyphrases
- temporal logic
- model checking
- modal logic
- epistemic logic
- temporal epistemic
- satisfiability problem
- concurrent systems
- mazurkiewicz traces
- predicate logic
- modal operators
- nonmonotonic logics
- verification method
- belief revision
- fixed point
- linear temporal logic
- computation tree logic
- propositional logic
- transition systems
- knowledge base
- temporal resolution
- conceptual model
- temporal knowledge
- reactive systems
- semantic information
- sufficient conditions
- image sequences