## A Model-Theoretic Analysis of Knowledge (1988)

Venue: | in Proc. 25th IEEE Symposium on Foundations of Computer Science |

Citations: | 55 - 11 self |

### BibTeX

@ARTICLE{Fagin88amodel-theoretic,

author = {Ronald Fagin and Joseph Y. Halpern and Moshe Y. Vardi},

title = {A Model-Theoretic Analysis of Knowledge},

journal = {in Proc. 25th IEEE Symposium on Foundations of Computer Science},

year = {1988},

volume = {91},

pages = {382--428}

}

### Years of Citing Articles

### OpenURL

### Abstract

Understanding knowledge is a fundamental issue in many disciplines. In computer science, knowledge arises not only in the obvious contexts (such as knowledgebased systems), but also in distributed systems (where the goal is to have each processor "know" something, as in agreement protocols). 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". A preliminary version of this paper appeared in Proc. 25th IEEE Symp. on Foundations of Computer Science, 1984, pp. 268--278. This version is essentially identical to the version that appears in Journal of the ACM 38:2, 1991, pp. 382--428. y Part of th...