Pages that link to "Item:Q1330013"

The following pages link to On the logic of common belief and common knowledge (Q1330013):

Displaying 38 items.

• Intuitionistic common knowledge or belief (Q334160) (← links)
• Reasoning about common knowledge with infinitely many agents (Q598197) (← links)
• How true it is = who says it's true (Q1015490) (← links)
• Common belief in monotonic epistemic logic (Q1278568) (← links)
• Iterative and fixed point common belief (Q1283322) (← links)
• Assessing the truth axiom under incomplete information (Q1296382) (← links)
• On the logic and role of negative introspection of common belief (Q1296486) (← links)
• A note on the implications of common knowledge of rationality (Q1317339) (← links)
• The epistemic structure of a theory of a game (Q1330010) (← links)
• Awareness and partitional information structures (Q1330014) (← links)
• Representing the knowledge of Turing machines (Q1330015) (← links)
• A non-minimal but very weak axiomatization of common belief (Q1342230) (← links)
• Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
• Refined common knowledge logics or logics of common information (Q1407585) (← links)
• First order common knowledge logics (Q1582313) (← links)
• Hierarchies of beliefs and common knowledge (Q1804022) (← links)
• Epistemic considerations of decision making in games (Q1806301) (← links)
• How canonical is the canonical model? A comment on Aumann's interactive epistemology (Q1806333) (← links)
• Strong completeness theorems for weak logics of common belief (Q1810818) (← links)
• Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics (Q1895975) (← links)
• Reasoning-based introspection (Q1930913) (← links)
• Philippe Mongin (1950-2020) (Q2021540) (← links)
• A computationally grounded logic of graded belief (Q2055797) (← links)
• Formalizing common belief with no underlying assumption on individual beliefs (Q2173395) (← links)
• Self-consistency, consistency and cycles in non-partitional knowledge models (Q2406930) (← links)
• Game logic and its applications. I (Q2563453) (← links)
• A sound interpretation of minimality properties of common belief in minimal semantics (Q2564206) (← links)
• Intersubjective consistency of knowledge and belief (Q2702559) (← links)
• Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic (Q3393380) (← links)
• Common knowledge logic and game logic (Q4262577) (← links)
• La connaissance commune en logique modale (Q4304804) (← links)
• (Q4867028) (← links)
• On the Logic of Common Belief (Q4888342) (← links)
• Common Belief with the Logic of Individual Belief (Q4939401) (← links)
• (Q5104712) (← links)
• In Praise of Impredicativity: A Contribution to the Formalization of Meta-Programming (Q5108530) (← links)
• Common Knowledge and the Knowledge Account of Assertion (Q5213677) (← links)
• On the axiomatization of an unawareness structure from knowing-whether operators (Q6642839) (← links)