Possible-world semantics for autoepistemic logic (1984)

by R C Moore
Venue:In Proceedings of the Workshop on Non-Monotonic Reasoning