Belief, awareness, and limited reasoning

Anderson, 1975

Borgida, 1984, Decision making in committees—a framework for dealing with inconsistency and non-monotonicity, 21

Chellas, 1980

Cresswell, 1973, Logics and Languages

Doyle, 1983, A society of mind, 309

Eberle, 1974, A logic of believing, knowing and inferring, Synthese, 26, 356, 10.1007/BF00883100

Fagin, 1985, Belief, awareness, and limited reasoning: Preliminary report, 491

Fagin, 1984, A model-theoretic analysis of knowledge, 268

Fagin, 1985, An internal semantics for modal logic, 305

Goldwasser, 1985, The knowledge complexity of interactive proof-systems, 291

Hadley, 1986, Logical omniscience, AI semantics, and models of belief, Simon Fraser University Tech. Rept. LCCR TR 86-3

Halpern, 1985, A formal model of knowledge, action, and communication in distributed systems: Preliminary report, 224

Halpern, 1984, Knowledge and common knowledge in a distributed environment, 50

1986, IBM Research Rept. RJ 4421

Halpern, 1985, A guide to the modal logics of knowledge and belief, 480

Halpern, 1983, The propositional dynamic logic of deterministic, well-structured programs, Theor. Comput. Sci., 27, 127, 10.1016/0304-3975(83)90097-X

Halpern, 1986, The complexity of reasoning about knowledge and time, 304

Hintikka, 1962

Hintikka, 1975, Impossible possible worlds vindicated, J. Philos. Logic, 4, 475, 10.1007/BF00558761

Hughes, 1968, An Introduction to Modal Logic

Konolige, 1984, Belief and incompleteness

Konolige, 1986, What awareness isn't: A sentential view of implicit and explicit belief, 241

Kripke, 1963, Semantical analysis of modal logic, Z. Math. Logik Grundl. Math., 9, 67, 10.1002/malq.19630090502

Ladner, 1977, The computational complexity of provability in systems of modal propositional logic, SIAM J. Comput., 6, 467, 10.1137/0206033

Lakemeyer, 1987

Lehmann, 1984, Knowledge, common knowledge, and related puzzles, 62

Levesque, 1984, A logic of implicit and explicit belief, 198

1984, Lab. Tech. Rept. FLAIR #32

H.J. Levesque, Global and local consistency and completeness of beliefs, to appear.

Lukasiewicz, 1920, O logice trojwartosciowej (On three-valued logic), Ruch Filozoficzny, 5, 169

Makinson, 1966, On some completeness theorems in modal logic, Z. Math. Logik Grundl. Math., 12, 379, 10.1002/malq.19660120131

Merritt, 1983, Cryptographic protocols

Minsky, 1977, Plain talk about neurodevelopmental epistemology, 1083

Moore, 1979, Computational models of beliefs and the semantics of belief sentences

Moses, 1986, Programming simultaneous actions using common knowledge, 208

Rantala, 1982, Impossible worlds semantics and logical omniscience, Acta Philos. Fennica, 35, 106

Rescher, 1979

Rivest, 1978, A method for obtaining digital signatures and public-key cryptosystems, Comm. ACM, 21, 120, 10.1145/359340.359342

Rosenschein, 1985, Formal theories of knowledge in AI and robotics, New Generation Comput., 3, 345, 10.1007/BF03037076

Sato, 1977, A study of Kripke-style methods of some modal logics by Gentzen's sequential method, Publications Research Inst. Math. Sci. Kyoto Univ., 13

Segerberg, 1972

Sistla, 1985, The complexity of propositional linear temporal logics, J. ACM, 32, 240, 10.1145/3828.3837

Stalnaker, 1985

Vardi, 1986, On epistemic logic and logical omniscience, 293

Wigner, 1960, The unreasonable effectiveness of mathematics in the natural sciences, Comm. Pure Appl. Math., 13, 1, 10.1002/cpa.3160130102

Zadrozny, 1985