Sequent Calculi for Branching Time Temporal Logics of Knowledge and Belief.
Jurate SakalauskaitePublished in: Informatica (2007)
Keyphrases
- temporal logic
- modal operators
- modal logic
- model checking
- temporal knowledge
- belief revision
- satisfiability problem
- sequent calculi
- concurrent systems
- temporal reasoning
- verification method
- predicate logic
- transition systems
- knowledge representation
- expert systems
- mazurkiewicz traces
- knowledge base
- decision procedures
- model checker
- conditional logic
- situation calculus
- natural language