A Recursively Axiomatizable Subsystem of Levesque\'s Logic of Only Knowing.
Ho Ngoc DucPublished in: J. Adv. Comput. Intell. Intell. Informatics (2003)
Keyphrases
- modal logic
- proof theoretic
- autoepistemic logic
- modal operators
- inference rules
- temporal logic
- linear logic
- classical logic
- proof theory
- situation calculus
- epistemic logic
- logic programming
- decision procedures
- sound and complete axiomatization
- real time
- nonmonotonic logics
- defeasible logic
- default reasoning
- databases
- logical framework
- predicate logic
- multi valued
- formal theory
- automated reasoning
- nonmonotonic reasoning
- dynamic logic
- coarse to fine
- cut elimination
- multi agent systems