1. Scenes and other situations;Barwise;J. Philos.,1981
2. Belief, awareness, and limited reasoning;Fagin;Proc. 9th Internat. Joint Conf. on Artificial Intelligence,1985
3. An internal semantics for modal logic;Fagin;Proc. 17th ACM Symp. on Theory of Computing,1985
4. On the temporal analysis of fairness;Gabbay;Conf. Record 7th Ann. ACM Symp. on Principles of Programming Languages,1980
5. Knowledge and Belief, an Introduction to the Logic of the Two Notions;Hintikka,1962