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 (57)
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
This page was built for publication: Games in Dynamic-Epistemic Logic
