Some Modal Logics Based on a Three-Valued Logic.
Osamu MorikawaPublished in: Notre Dame J. Formal Log. (1989)
Keyphrases
- modal logic
- nonmonotonic logics
- inference rules
- epistemic logic
- temporal logic
- decision procedures
- classical logic
- conditional logic
- default logic
- autoepistemic logic
- dynamic logic
- nonmonotonic reasoning
- modal operators
- propositional logic
- sequent calculus
- situation calculus
- theorem proving
- theorem prover
- satisfiability problem
- model checking
- special case