A model-theoretic analysis of knowledge

A general semantic model of knowledge is introduced, to allow reasoning about statements such as «He knows that I know whether or not she knows whether or not it is raining». This approach more naturally models a state of knowledge than previous proposals (including Kripke structures). Using this notion of model, a model theory for knowledge is developed. This theory enables one to interpret the notion of a «finite amount of information»

[1]  Joseph Y. Halpern.  USING REASONING ABOUT KNOWLEDGE TO ANALYZE DISTRIBUTED SYSTEMS , 1987 .

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

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

[4]  Gerhard Lakemeyer.  Tractable Meta-Reasoning in Propositional Logics of Belief , 1987, IJCAI.

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

[6]  Moshe Y. Vardi.  On the complexity of epistemic reasoning , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[7]  Ronald Fagin,et al.  What Can Machines Know? On the Epistemic Properties of Machines , 1986, AAAI.

[8]  Eddie Dekel,et al.  Hierarchies of Beliefs and Common Knowledge , 1993 .

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

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

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

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

[13]  D. Monderer,et al.  Approximating common knowledge with common beliefs , 1989 .

[14]  Ronald Fagin,et al.  Knowledge and Implicit Knowledge in a Distributed Environment: Preliminary Report , 1988, TARK.

[15]  Richard Spencer-Smith,et al.  Modal Logic , 2007 .

[16]  Peter Deussen,et al.  Proceedings of the 5th GI-Conference on Theoretical Computer Science , 1981 .

[17]  Y HalpernJoseph,et al.  What can machines know , 1992 .

[18]  Peter van Emde Boas,et al.  The Conway Paradox: Its Solution in an Epistemic Framework , 1984 .

[19]  J. McCarthy,et al.  On the model theory of knowledge , 1978 .

[20]  Adam Brandenburger,et al.  Common knowledge with probability 1 , 1987 .

[21]  Ronald J. Brachman,et al.  Special issue on knowledge representation , 1980, SGAR.

[22]  Joseph Y. Halpern.  Reasoning About Knowledge: An Overview , 1986, TARK.

[23]  Robert C. Moore.  A Formal Theory of Knowledge and Action , 1984 .

[24]  Danny Dolev,et al.  Authenticated Algorithms for Byzantine Agreement , 1983, SIAM J. Comput..

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

[26]  K. Jon Barwise,et al.  Three Views of Common Knowledge , 1988, TARK.

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

[28]  Leslie Lamport,et al.  Reaching Agreement in the Presence of Faults , 1980, JACM.

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

[30]  David Park,et al.  Concurrency and Automata on Infinite Sequences , 1981, Theoretical Computer Science.

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

[32]  Sharon J. Hamilton,et al.  An investigation of modal structures as an alternative semantic basis for epistemic logics , 1989, Comput. Intell..

[33]  J. Hintikka.  Knowledge and belief , 1962 .

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

[35]  Robert C. Moore.  Semantical Considerations on Nonmonotonic Logic , 1985, IJCAI.

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

[37]  S. Zamir,et al.  Formulation of Bayesian analysis for games with incomplete information , 1985 .