A sound and complete proof theory for the generalized logic of only knowing.

Published in: J. Exp. Theor. Artif. Intell. (1998)

Keyphrases

proof theory
default reasoning
proof theoretic
automated reasoning
reasoning problems
decision procedures
knowledge base
expert systems
modal logic
default logic
nonmonotonic reasoning