Pages that link to "Item:Q1330013"
From MaRDI portal
The following pages link to On the logic of common belief and common knowledge (Q1330013):
Displaying 23 items.
- 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)
- 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)
- Belief closure: A semantics of common knowledge for modal propositional logic (Q1377482) (← links)
- Epistemic considerations of decision making in games (Q1806301) (← links)
- Strong completeness theorems for weak logics of common belief (Q1810818) (← 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)
- 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)
- On the Logic of Common Belief (Q4888342) (← 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)