Tree-sequent calculi and decision procedures for intuitionistic modal logics.
Didier GalmicheYakoub SalhiPublished in: J. Log. Comput. (2018)
Keyphrases
- decision procedures
- modal logic
- sequent calculi
- cut elimination
- sequent calculus
- classical logic
- temporal logic
- inference rules
- conditional logic
- reasoning problems
- nonmonotonic logics
- situation calculus
- theorem prover
- default logic
- theorem proving
- model theoretic
- model checking
- kripke models
- special case
- natural deduction
- linear logic
- integrity constraints
- sufficient conditions