Pages that link to "Item:Q4302840"

The following pages link to A model-theoretic analysis of knowledge (Q4302840):

Displaying 24 items.

• Epistemic logic meets epistemic game theory: a comparison between multi-agent Kripke models and type spaces (Q516317) (← links)
• Conditioning and interpretation shifts (Q694492) (← links)
• An impossibility theorem on beliefs in games (Q863184) (← links)
• Semantical considerations on multiagent only knowing (Q892188) (← links)
• Logic programming as classical inference (Q898781) (← links)
• The synthesis of communication protocols (Q1098296) (← links)
• Knowledge in shared memory systems. (Q1312600) (← links)
• Belief as defeasible knowledge (Q1313959) (← links)
• On the logic of common belief and common knowledge (Q1330013) (← links)
• Common knowledge and update in finite environments (Q1383157) (← links)
• Knowledge spaces with arbitrarily high rank (Q1384016) (← links)
• Hierarchies of knowledge: an unbounded stairway (Q1806303) (← links)
• Topological reasoning and the logic of knowledge (Q1919762) (← links)
• Changing types: information dynamics for qualitative type spaces (Q2016079) (← links)
• Knowledge-based strategies for multi-agent teams playing against nature (Q2152496) (← links)
• A history based logic for dynamic preference updates (Q2209166) (← links)
• Iterated admissibility through forcing in strategic belief models (Q2228450) (← links)
• Hierarchies of beliefs for compact possibility models (Q2486411) (← links)
• A semantics for reasoning consistently in the presence of inconsistency (Q2676565) (← links)
• (Q3384059) (← links)
• (Q5018521) (← links)
• 2009 European Summer Meeting of the Association for Symbolic Logic. Logic Colloquium '09 (Q5305554) (← links)
• A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)
• The existence of universal qualitative belief spaces (Q6122070) (← links)