A Terminating Sequent Calculus for Intuitionistic Strong Löb Logic with the Subformula Property.
Camillo FiorentiniMauro FerrariPublished in: IJCAR (2) (2024)
Keyphrases
- cut elimination
- sequent calculus
- linear logic
- natural deduction
- inference rules
- proof procedures
- modal logic
- wide class
- desirable properties
- sufficient conditions
- linear time temporal logic
- proof search
- logic programming
- theorem prover
- fixed point
- logical framework
- artificial intelligence
- temporal logic
- classical logic
- conditional probabilities
- first order logic
- relational databases