Cut elimination for Cyclic Proofs: A Case Study in Temporal Logic.
Bahareh AfshariJohannes KloibhoferPublished in: CoRR (2024)
Keyphrases
- temporal logic
- cut elimination
- sequent calculus
- modal logic
- inference rules
- model checking
- linear logic
- wide class
- decision procedures
- natural deduction
- linear time temporal logic
- satisfiability problem
- sufficient conditions
- epistemic logic
- concurrent systems
- classical logic
- proof search
- predicate logic
- situation calculus
- verification method
- linear temporal logic
- temporal knowledge
- computation tree logic
- automata theoretic
- mazurkiewicz traces
- transition systems
- model checker
- belief revision
- temporally extended
- model theoretic
- default logic
- theorem proving
- probabilistic model