On the logic of common belief and common knowledge

DOI10.1007/BF01079206zbMath0831.03014OpenAlexW2080591608MaRDI QIDQ1330013

Luc Lismont, Philippe Mongin

Publication date: 16 August 1994

Published in: Theory and Decision (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/bf01079206

zbMATH Keywords

modal logicdecidabilityKripke structurescommon knowledgeepistemic logicaxiomatizationcommon beliefneighbourhood structurespartitional model

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Related Items (22)

The epistemic structure of a theory of a game ⋮ Awareness and partitional information structures ⋮ Representing the knowledge of Turing machines ⋮ Common knowledge logic and game logic ⋮ Belief closure: A semantics of common knowledge for modal propositional logic ⋮ Formalizing common belief with no underlying assumption on individual beliefs ⋮ Self-consistency, consistency and cycles in non-partitional knowledge models ⋮ Reasoning-based introspection ⋮ In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming ⋮ On the Logic of Common Belief ⋮ Philippe Mongin (1950-2020) ⋮ Common Knowledge and the Knowledge Account of Assertion ⋮ Epistemic considerations of decision making in games ⋮ Strong completeness theorems for weak logics of common belief ⋮ A computationally grounded logic of graded belief ⋮ Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic ⋮ Common belief in monotonic epistemic logic ⋮ Iterative and fixed point common belief ⋮ Game logic and its applications. I ⋮ A sound interpretation of minimality properties of common belief in minimal semantics ⋮ Assessing the truth axiom under incomplete information ⋮ On the logic and role of negative introspection of common belief

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some notes on Church's thesis and the theory of games
• Formulation of Bayesian analysis for games with incomplete information
• Some extensions of a claim of Aumann in an axiomatic model of knowledge
• Common knowledge with probability 1
• On solutions of Bayesian games
• Information, trade and common knowledge
• Approximating common knowledge with common beliefs
• A guide to completeness and complexity for modal logics of knowledge and belief
• Agreeing to disagree in infinite information structures
• Agreeing to disagree
• The epistemic structure of a theory of a game
• On the evaluation of solution concepts
• Awareness and partitional information structures
• Representing the knowledge of Turing machines
• Belief closure: A semantics of common knowledge for modal propositional logic
• Logical structure of common knowledge
• Hierarchies of beliefs and common knowledge
• The Bayesian formulation of incomplete information. The non-compact case
• Communication, consensus, and knowledge
• Ignoring ignorance and agreeing to disagree
• Epistemology Without Knowledge and Without Belief
• Correlated Equilibrium as an Expression of Bayesian Rationality
• An Axiomatic Characterization of Common Knowledge
• Rationality, Computability, and Nash Equilibrium
• A model-theoretic analysis of knowledge
• La connaissance commune en logique modale

This page was built for publication: On the logic of common belief and common knowledge