A cut-free proof system for a predicate extension of the logic of provability.
Yoshihito TanakaPublished in: Reports Math. Log. (2018)
Keyphrases
- linear time temporal logic
- modal logic
- intuitionistic logic
- model checking
- proof theoretic
- classical logic
- proof search
- cut elimination
- temporal logic
- sequent calculus
- natural deduction
- model checker
- linear logic
- logic programming
- linear temporal logic
- first order logic
- predicate logic
- set theory
- inference rules
- predicate calculus
- proof theory
- nonmonotonic logics
- wide class
- default theories
- knowledge base
- sound and complete axiomatization