Terminating sequent calculi for two intuitionistic modal logics.
Rosalie IemhoffPublished in: J. Log. Comput. (2018)
Keyphrases
- modal logic
- sequent calculi
- cut elimination
- sequent calculus
- classical logic
- inference rules
- temporal logic
- conditional logic
- linear logic
- decision procedures
- epistemic logic
- default logic
- nonmonotonic logics
- situation calculus
- natural deduction
- proof search
- desirable properties
- fuzzy numbers
- wide class
- model checking