A Cyclic Proof System for Full Computation Tree Logic.
Bahareh AfshariGraham E. LeighGuillermo Menéndez TurataPublished in: CSL (2023)
Keyphrases
- computation tree logic
- model checking
- temporal logic
- modal logic
- model checker
- epistemic logic
- bounded model checking
- symbolic model checking
- inference rules
- decision procedures
- temporal properties
- satisfiability problem
- formal verification
- classical logic
- situation calculus
- description language
- formal methods
- minimal change
- transition systems