The following pages link to Games in Dynamic-Epistemic Logic (Q3113047):
Displaying 50 items.
- Between proof and truth (Q383057) (← links)
- Erratum to: ``Between proof and truth'' (Q383075) (← links)
- Reasoning about games (Q647418) (← links)
- Knowing the price of success (Q785233) (← 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)
- An automated method for building cognitive models for turn-based games from a strategy logic (Q1630453) (← links)
- Reverse public announcement operators on expanded models (Q1711510) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Memory and perfect recall in extensive games (Q1885433) (← links)
- Modeling reasoning in a social setting (Q2016076) (← links)
- Knowledge, behavior, and rationality: rationalizability in epistemic games (Q2042733) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Epistemic reasoning about rationality and bids in auctions (Q2055787) (← links)
- Constructive hybrid games (Q2096468) (← links)
- Time-aware uniformization of winning strategies (Q2106605) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Epistemic GDL: a logic for representing and reasoning about imperfect information games (Q2238622) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- A new game equivalence, its logic and algebra (Q2323693) (← links)
- Representing and reasoning about game strategies (Q2341262) (← links)
- Toward a theory of play: a logical perspective on games and interaction (Q2344965) (← 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)
- Agency and Interaction What We Are and What We Do in Formal Epistemology (Q2971668) (← 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)
- The Pleasure of Gossip (Q3299841) (← links)
- (Q3384085) (← 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)
- ACTION TYPES IN STIT SEMANTICS (Q4600819) (← links)
- Equivalence Criteria for Compositional IF Modal Logics (Q4982119) (← links)
- (Q5018506) (← links)
- Constructive Game Logic (Q5041088) (← links)
- Reflexive and Epistemic Properties of the Tullock Rent-Seeking Game (Q5048463) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection (Q5213651) (← links)
- Temporal Aspects of the Dynamics of Knowledge (Q5249672) (← links)
