Results 1  10
of
28
A ModelTheoretic Analysis of Knowledge
 in Proc. 25th IEEE Symposium on Foundations of Computer Science
, 1988
"... 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 protoc ..."
Abstract

Cited by 65 (11 self)
 Add to MetaCart
(Show Context)
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. 268278. This version is essentially identical to the version that appears in Journal of the ACM 38:2, 1991, pp. 382428. y Part of th...
The role of information in bargaining: an experimental study, Econometrica 50, 1123l 142
, 1982
"... Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at ..."
Abstract

Cited by 54 (4 self)
 Add to MetaCart
(Show Context)
Your use of the JSTOR archive indicates your acceptance of JSTOR's Terms and Conditions of Use, available at
Incomplete Information, Incentive Compatibility, and the Core
 JOURNAL OF ECONOMIC THEORY
, 1999
"... ..."
Reasoning about knowledge: An overview
 Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning About Knowledge
, 1986
"... Abstract: In this overview paper, I will attempt to identify and describe some of the common threads that tie together work in reasoning about knowledge in such diverse fields as philosophy, economics, linguistics, artificial intelligence, and theoretical computer sciencce. I will briefly discuss so ..."
Abstract

Cited by 34 (3 self)
 Add to MetaCart
Abstract: In this overview paper, I will attempt to identify and describe some of the common threads that tie together work in reasoning about knowledge in such diverse fields as philosophy, economics, linguistics, artificial intelligence, and theoretical computer sciencce. I will briefly discuss some of the more recent work, particularly in computer science, and suggest some lines for future research.
The logic of belief and belief change: A decision theoretic approach
 Journal of Economic Theory
, 1996
"... showed how properties of a decision maker's probabilistic beliefs can be deduced from primitive consistency axioms on preferences. This paper extends that approach and shows how logical properties of belief which underlie economists ' models of information and knowledge can be related to p ..."
Abstract

Cited by 21 (0 self)
 Add to MetaCart
(Show Context)
showed how properties of a decision maker's probabilistic beliefs can be deduced from primitive consistency axioms on preferences. This paper extends that approach and shows how logical properties of belief which underlie economists ' models of information and knowledge can be related to properties of preferences. Journal of
Settheoretic completeness for epistemic and conditional logic
 Annals of Mathematics and Artificial Intelligence
, 1999
"... The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the language (the semantics), a collection of axioms an ..."
Abstract

Cited by 17 (4 self)
 Add to MetaCart
(Show Context)
The standard approach to logic in the literature in philosophy and mathematics, which has also been adopted in computer science, is to define a language (the syntax), an appropriate class of models together with an interpretation of formulas in the language (the semantics), a collection of axioms and rules of inference characterizing reasoning (the proof theory), and then relate the proof theory to the semantics via soundness and completeness results. Here we consider an approach that is more common in the economics literature, which works purely at the semantic, settheoretic level. We provide settheoretic completeness results for a number of epistemic and conditional logics, and contrast the expressive power of the syntactic and settheoretic approaches.
Bounded reasoning and higherorder uncertainty
, 2012
"... The standard framework to analyze games with incomplete information models players as if they form beliefs about their opponents’ beliefs about their opponents’ beliefs and so on, that is, as if players have an infinite depth of reasoning. This strong assumption has nontrivial implications, as is we ..."
Abstract

Cited by 11 (4 self)
 Add to MetaCart
The standard framework to analyze games with incomplete information models players as if they form beliefs about their opponents’ beliefs about their opponents’ beliefs and so on, that is, as if players have an infinite depth of reasoning. This strong assumption has nontrivial implications, as is well known. This paper therefore generalizes the type spaces introduced by Harsanyi (1967–1968) so that players can have a finite depth of reasoning. The innovation is that players can have a coarse perception of the higherorder beliefs of other players, thus formalizing the small world idea of Savage (1954) in a typespace context. Unlike in other models of finiteorder reasoning, players with a finite depth of reasoning can have nontrivial higherorder beliefs about certain events. Intuitively, some higherorder events are generated by events of lower orders, making it possible for players to reason about them, even if they have a finite depth.
Common Knowledge and Interactive Behaviors: A Survey
 European Journal of Economic and Social Systems
"... 1I am grateful to Bernard Walliser for enriching discussions and helpful comments during the thematic school on cognitive economics ( Île de Berder, May 14–19, 2000). I also thank Patrick Cohendet, Marc Willinger, Murat Yıldızo˘glu and Anthony Ziegelmeyer for critically reading the manuscript. An ea ..."
Abstract

Cited by 4 (0 self)
 Add to MetaCart
1I am grateful to Bernard Walliser for enriching discussions and helpful comments during the thematic school on cognitive economics ( Île de Berder, May 14–19, 2000). I also thank Patrick Cohendet, Marc Willinger, Murat Yıldızo˘glu and Anthony Ziegelmeyer for critically reading the manuscript. An earlier version of this paper was presented at the second TIPIK Workshop on the