R. Moore (1987): Possible--World Semantics for Autoepistemic Logic


Title: Possible--World Semantics for Autoepistemic Logic
Author(s): R. Moore
Year: 1987
Booktitle: Readings in Nonmonotonic Reasoning
Editor(s): Ginsberg, Matthew L.
Chapter: 3.2
Pages: 137-143
Publisher: Morgan Kaufmann
Address: Los Altos, CA

Concepts