Comparing semantics of logics for multi-agent systems
From MaRDI portal
Publication:2431875
DOI10.1023/B:SYNT.0000024915.66183.D1zbMATH Open1106.03009MaRDI QIDQ2431875FDOQ2431875
Authors: Wojciech Jamroga, Valentin Goranko 
Publication date: 24 October 2006
Published in: Synthese (Search for Journal in Brave)
Recommendations
Applications of game theory (91A80) Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Temporal logic (03B44)
Cited In (19)
- A Logic for Reasoning about Rational Agents
- Title not available (Why is that?)
- On the use (and abuse) of logic in game theory
- Quantified temporal alethic boulesic doxastic logic
- Dynamic coalition logic: granting and revoking dictatorial powers
- Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
- The logic of joint ability in two-player tacit games
- Model checking abilities of agents: a closer look
- An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
- Preface to the special issue: Temporal logics of agency
- A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
- Reasoning about dependence, preference and coalitional power
- An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
- Reasoning about temporal properties of rational play
- AI*IA 2005: Advances in Artificial Intelligence
- Constructive knowledge: what agents can achieve under imperfect information
- Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
- Temporal Aspects of the Dynamics of Knowledge
- Complete axiomatization and decidability of alternating-time temporal logic
This page was built for publication: Comparing semantics of logics for multi-agent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2431875)
