The following pages link to Games in Dynamic-Epistemic Logic (Q3113047):
Displayed 26 items.
- Between proof and truth (Q383057) (← links)
- Erratum to: ``Between proof and truth'' (Q383075) (← links)
- Reasoning about games (Q647418) (← links)
- Common knowledge of payoff uncertainty in games (Q934775) (← links)
- Knowledge condition games (Q1006447) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Merging frameworks for interaction (Q1037376) (← links)
- Introduction to computability logic (Q1408853) (← links)
- Memory and perfect recall in extensive games (Q1885433) (← links)
- Semantic games with chance moves revisited: from IF logic to partial logic (Q2441754) (← links)
- Some comments on history based structures (Q2475431) (← links)
- From truth to computability. I. (Q2500484) (← links)
- Thompson transformations for IF-logic (Q2500828) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Logics of Rational Interaction (Q2902939) (← links)
- Conditional Epistemic Planning (Q2915062) (← links)
- Reasoning about Joint Action and Coalitional Ability in K n with Intersection (Q3092300) (← links)
- Dynamic Restriction of Choices: Synthesis of Societal Rules (Q3093994) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Stability under Strategy Switching (Q3576071) (← links)
- Decisions, Actions, and Games: A Logical Perspective (Q3601797) (← links)
- Decidable Extensions of Hennessy-Milner Logic (Q3613068) (← links)
- A logical characterisation of qualitative coalitional games (Q3647281) (← links)
- THE POWER OF KNOWLEDGE IN GAMES (Q5396048) (← links)
- DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES (Q5396049) (← links)
- A GENERAL NOTION OF UNIFORM STRATEGIES (Q5406294) (← links)