Labelled natural deduction for a bundled branching temporal logic.
Andrea MasiniLuca ViganòMarco VolpePublished in: J. Log. Comput. (2011)
Keyphrases
- temporal logic
- natural deduction
- inference rules
- modal logic
- linear time temporal logic
- model checking
- theorem prover
- theorem proving
- cut elimination
- sequent calculus
- concurrent systems
- satisfiability problem
- intuitionistic logic
- mazurkiewicz traces
- computation tree logic
- search tree
- model checker
- verification method
- decision procedures
- belief revision
- linear temporal logic
- automata theoretic
- transition systems
- dynamic constraints
- temporally extended
- linear logic
- automated reasoning
- bounded model checking
- temporally extended goals
- multi agent systems
- classical logic
- bayesian networks