A Family of Decidable Bi-intuitionistic Modal Logics.
David Fernández-DuqueBrett McLeanLukas ZengerPublished in: KR (2023)
Keyphrases
- modal logic
- classical logic
- decision procedures
- inference rules
- temporal logic
- situation calculus
- cut elimination
- sequent calculus
- business intelligence
- nonmonotonic logics
- theorem prover
- epistemic logic
- first order logic
- linear logic
- default logic
- theorem proving
- special case
- autoepistemic logic
- search algorithm
- logical framework
- fuzzy set theory
- modal operators
- fuzzy numbers
- natural deduction
- action theories
- model checking
- artificial intelligence
- kripke models