A Tableau Calculus for a Temporal Logic with Temporal Connectives.
Wolfgang MayPublished in: TABLEAUX (1999)
Keyphrases
- temporal logic
- temporal knowledge
- linear temporal logic
- model checking
- temporal resolution
- modal logic
- satisfiability problem
- temporal properties
- inference rules
- computation tree logic
- temporal information
- temporal reasoning
- temporal constraints
- belief revision
- mazurkiewicz traces
- reactive systems
- bounded model checking
- verification method
- sequent calculus
- dynamic constraints
- transition systems
- formal methods
- epistemic logic
- software engineering
- formal specification
- information flow
- description logics