Admissible rules for six intuitionistic modal logics.
Iris van der GiessenPublished in: Ann. Pure Appl. Log. (2023)
Keyphrases
- modal logic
- classical logic
- cut elimination
- sequent calculus
- inference rules
- decision procedures
- temporal logic
- nonmonotonic logics
- default logic
- epistemic logic
- rule sets
- theorem prover
- association rules
- situation calculus
- autoepistemic logic
- state space
- logical framework
- fuzzy numbers
- dynamic programming
- natural language