A dual-context sequent calculus for the constructive modal logic S4.
Favio Ezequiel Miranda-PereaLourdes Del Carmen González-HuescaPilar Selene Linares-ArévaloPublished in: Math. Struct. Comput. Sci. (2022)
Keyphrases
- modal logic
- sequent calculus
- inference rules
- cut elimination
- temporal logic
- decision procedures
- classical logic
- epistemic logic
- default logic
- conditional logic
- situation calculus
- nonmonotonic logics
- linear time temporal logic
- explanation based generalization
- dynamic logic
- linear logic
- modal operators
- autoepistemic logic
- model checking
- prime implicates
- proof search
- general purpose
- machine learning