Local Intuitionistic Modal Logics and Their Calculi.
Philippe BalbianiHan GaoÇigdem GencerNicola OlivettiPublished in: CoRR (2024)
Keyphrases
- modal logic
- sequent calculi
- cut elimination
- sequent calculus
- classical logic
- inference rules
- temporal logic
- decision procedures
- conditional logic
- linear logic
- default logic
- nonmonotonic logics
- natural deduction
- epistemic logic
- logical framework
- theorem prover
- situation calculus
- interval valued
- fuzzy set theory
- autoepistemic logic
- incomplete information
- fuzzy numbers