Games in Dynamic-Epistemic Logic
From MaRDI portal
Publication:3113047
DOI10.1111/1467-8586.00133zbMath1230.03046OpenAlexW2136794369MaRDI QIDQ3113047
Publication date: 7 February 2012
Published in: Bulletin of Economic Research (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1111/1467-8586.00133
Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Rationality and learning in game theory (91A26)
Related Items
Constructive Game Logic, Memory and perfect recall in extensive games, Reflexive and Epistemic Properties of the Tullock Rent-Seeking Game, An automated method for building cognitive models for turn-based games from a strategy logic, Logics of Rational Interaction, Conditional Epistemic Planning, Mechanizing common knowledge logic using COQ, Between proof and truth, Erratum to: ``Between proof and truth, To be announced, METRICS FOR FORMAL STRUCTURES, WITH AN APPLICATION TO KRIPKE MODELS AND THEIR DYNAMICS, ACTION TYPES IN STIT SEMANTICS, Introduction to computability logic, Agency and Interaction What We Are and What We Do in Formal Epistemology, Reverse public announcement operators on expanded models, Together we know how to achieve: an epistemic logic of know-how, Unnamed Item, Unnamed Item, Semantic games with chance moves revisited: from IF logic to partial logic, Reasoning about games, Common knowledge of payoff uncertainty in games, The Pleasure of Gossip, THE POWER OF KNOWLEDGE IN GAMES, DYNAMICS OF CHOICE RESTRICTION IN LARGE GAMES, Coalition and relativised group announcement logic, Epistemic GDL: a logic for representing and reasoning about imperfect information games, Intelligence in Strategic Games, A GENERAL NOTION OF UNIFORM STRATEGIES, Some comments on history based structures, Stability under Strategy Switching, Modeling reasoning in a social setting, From truth to computability. I., Thompson transformations for IF-logic, Decisions, Actions, and Games: A Logical Perspective, Decidable Extensions of Hennessy-Milner Logic, Knowing-how under uncertainty, Knowledge, behavior, and rationality: rationalizability in epistemic games, Knowledge condition games, On composition of bounded-recall plans, Embedding Coalition Logic in the Minimal Normal Multimodal Logic with Intersection, Epistemic reasoning about rationality and bids in auctions, Reasoning about Joint Action and Coalitional Ability in K n with Intersection, Modelling simultaneous games in dynamic logic, Dynamic Restriction of Choices: Synthesis of Societal Rules, REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION, Equivalence Criteria for Compositional IF Modal Logics, A logical characterisation of qualitative coalitional games, Merging frameworks for interaction, A new game equivalence, its logic and algebra, Knowing the price of success, Temporal Aspects of the Dynamics of Knowledge, Logic and Probabilistic Update, Logic and Game Theory, Constructive hybrid games, Representing and reasoning about game strategies, Toward a theory of play: a logical perspective on games and interaction, Time-aware uniformization of winning strategies
