A General-Purpose Forward Deduction Engine for Modal Logics.
Shinsuke NaraTakashi OmiYuichi GotoJingde ChengPublished in: KES (2) (2005)
Keyphrases
- modal logic
- general purpose
- inference rules
- decision procedures
- temporal logic
- special purpose
- theorem proving
- epistemic logic
- nonmonotonic logics
- programming language
- application specific
- theorem prover
- classical logic
- situation calculus
- default logic
- logical framework
- model checking
- autoepistemic logic
- dynamic logic
- business rules
- default theories
- first order logic