A Labeled Natural Deduction System for a Fragment of CTL*.
Andrea MasiniLuca ViganòMarco VolpePublished in: LFCS (2009)
Keyphrases
- natural deduction
- inference rules
- model checking
- theorem prover
- temporal logic
- intuitionistic logic
- cut elimination
- sequent calculus
- theorem proving
- linear time temporal logic
- epistemic logic
- computation tree logic
- training data
- supervised learning
- temporal properties
- linear logic
- bounded model checking
- minimal change
- random variables
- knowledge representation
- training set