Intuitionistic Non-normal Modal Logics: A General Framework.
Tiziano DalmonteCharles GrelloisNicola OlivettiPublished in: J. Philos. Log. (2020)
Keyphrases
- modal logic
- classical logic
- inference rules
- decision procedures
- temporal logic
- epistemic logic
- theorem prover
- linear logic
- default logic
- nonmonotonic logics
- natural deduction
- situation calculus
- autoepistemic logic
- cut elimination
- sequent calculus
- logical framework
- fuzzy set theory
- default theories
- logic programming
- fuzzy information
- modal operators
- propositional logic
- special case
- cooperative