Reasoning About Knowledge: An Overview

[1]  Ronald Fagin,et al.  Belief, Awareness, and Limited Reasoning. , 1987, Artif. Intell..

[2]  Yoram Moses,et al.  Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures , 1986, TARK.

[3]  Joseph Y. Halpern,et al.  The complexity of reasoning about knowledge and time , 1986, STOC '86.

[4]  Moshe Y. Vardi.  On Epistemic Logic and Logical Omniscience , 1986, TARK.

[5]  Neil Immerman,et al.  Foundations of Knowledge for Distributed Systems , 1986, TARK.

[6]  Gerhard Lakemeyer.  Steps Towards a First-Order Logic of Explicit and Implicit Belief , 1986, TARK.

[7]  Leslie Pack Kaelbling,et al.  The Synthesis of Digital Machines With Provable Epistemic Properties , 1986, TARK.

[8]  Ronald Fagin,et al.  Knowledge and implicit knowledge in a distributed environment , 1986 .

[9]  Tommy Chin-Chiu Tan,et al.  Summary of "On Aumann's Notion of Common Knowledge-An Alternative Approach" , 1986, TARK.

[10]  Leora Morgenstern,et al.  A First Order Theory of Planning, Knowledge, and Action , 1986, TARK.

[11]  Richard E. Ladner,et al.  The Logic of Distributed Protocols , 1986, TARK.

[12]  Silvio Micali,et al.  The knowledge complexity of interactive proof-systems , 1985, STOC '85.

[13]  Ronald Fagin,et al.  An internal semantics for modal logic , 1985, STOC '85.

[14]  Joseph Y. Halpern,et al.  A Guide to the Modal Logics of Knowledge and Belief: Preliminary Draft , 1985, IJCAI.

[15]  Moshe Y. Vardi.  A Model-Theoretic Analysis of Monotonic Knowledge , 1985, IJCAI.

[16]  Ronald Fagin,et al.  A formal model of knowledge, action, and communication in distributed systems: preliminary report , 1985, PODC '85.

[17]  K. Mani Chandy,et al.  How processes learn , 1985, PODC '85.

[18]  Ramaswamy Ramanujam,et al.  Distributed Processes and the Logic of Knowledge , 1985, Logic of Programs.

[19]  Joseph Y. Halpern,et al.  Towards a Theory of Knowledge and Ignorance: Preliminary Report , 1989, NMR.

[20]  Daniel Lehmann,et al.  Knowledge, common knowledge and related puzzles (Extended Summary) , 1984, PODC '84.

[21]  Joseph Y. Halpern,et al.  Knowledge and common knowledge in a distributed environment , 1984, JACM.

[22]  Hector J. Levesque,et al.  A Logic of Implicit and Explicit Belief , 1984, AAAI.

[23]  Hector J. Levesque,et al.  Foundations of a Functional Approach to Knowledge Representation , 1984, Artif. Intell..

[24]  Kurt Konolige.  Belief and incompleteness , 1984 .

[25]  N. Cocchiarella,et al.  Situations and Attitudes. , 1986 .

[26]  J. Cave.  Learning to agree , 1983 .

[27]  J. Geanakoplos,et al.  We Can't Disagree Forever , 1982 .

[28]  Nancy A. Lynch,et al.  Cryptographic protocols , 1982, STOC '82.

[29]  Nancy L. Stokey,et al.  Information, Trade, and Common Knowledge , 1982 .

[30]  Gary G. Hendrix,et al.  Computational Models of Belief and the Semantics of Belief Sentences , 1982 .

[31]  John McCarthy,et al.  SOME PHILOSOPHICAL PROBLEMS FROM THE STANDPOINT OF ARTI CIAL INTELLIGENCE , 1987 .

[32]  C. Raymond Perrault,et al.  It's for Your Own Good: A Note on Inaccurate Reference. , 1981 .

[33]  Paul R. Milgrom,et al.  AN AXIOMATIC CHARACTERIZATION OF COMMON KNOWLEDGE , 1981 .

[34]  Richmond H. Thomason,et al.  A model theory for propositional attitudes , 1980 .

[35]  Jeffrey D. Ullman,et al.  Introduction to Automata Theory, Languages and Computation , 1979 .

[36]  Wolfgang Lenzen,et al.  Recent work in epistemic logic , 1978 .

[37]  Jim Gray,et al.  Notes on Data Base Operating Systems , 1978, Advanced Course: Operating Systems.

[38]  Adi Shamir,et al.  A method for obtaining digital signatures and public-key cryptosystems , 1978, CACM.

[39]  Richard E. Ladner,et al.  The Computational Complexity of Provability in Systems of Modal Propositional Logic , 1977, SIAM J. Comput..

[40]  Robert C. Moore.  Reasoning About Knowledge and Action , 1977, IJCAI.

[41]  M. Sato.  A Study of Kripke-type Models for Some Modal Logics by Gentzen's Sequential Method , 1977 .

[42]  Nuel D. Belnap,et al.  A Useful Four-Valued Logic , 1977 .

[43]  Jaakko Hintikka,et al.  Impossible possible worlds vindicated , 1975, J. Philos. Log..

[44]  Nuel D. Belnap,et al.  Entailment : the logic of relevance and necessity , 1975 .

[45]  Max J. Cresswell,et al.  Logics and languages , 1973 .

[46]  David Lewis.  Convention: A Philosophical Study , 1986 .

[47]  R. Kirk.  CONVENTION: A PHILOSOPHICAL STUDY , 1970 .

[48]  Saul A. Kripke,et al.  Semantical Analysis of Modal Logic I Normal Modal Propositional Calculi , 1963 .

[49]  R. L. Goodstein,et al.  An Essay in Modal Logic , 1953, The Mathematical Gazette.

[50]  G. P. Henderson,et al.  An Essay in Modal Logic. , 1953 .

[51]  N. Malcolm.  On Knowledge and Belief , 1954 .