R. C. Moore (1984): Possible-world Semantics for Autoepistemic Logic
Title:
Possible-world Semantics for Autoepistemic Logic
Author(s):
R. C. Moore
Year:
1984
Journal:
???
Concepts
