Comparing semantics of logics for multi-agent systems

DOI10.1023/B:SYNT.0000024915.66183.D1MaRDI QIDQ2431875zbMATH OpenFDO

Authors Wojciech Jamroga, Valentin Goranko

Publication date 24 October 2006

Published in Synthese (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1023/B:SYNT.0000024915.66183.D1

zbMATH Keywords

coalitionsepistemic logicgame theorymulti-agent systems

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Logic in artificial intelligence (68T27) Applications of game theory (91A80)

Review text

A comparative analysis is offered of several logics that have been developed to deal with a set of agents taking actions, simultaneously or sequentially, on a common set of states, affecting transitions between states. The logics considered are coalitional game logic, alternating-time temporal logic and alternating-time temporal epistemic logic. Reduction and equivalence results are established for their semantics. Ways to transform between different types of models and languages are proved.

Recommendations

• AI*IA 2005: Advances in Artificial Intelligence
• scientific article; zbMATH DE number 5734940
• Multiagent temporal logics with multivaluations
• Alternating-time temporal dynamic epistemic logic
• Dynamic epistemic preferential logic of action

Cited in

(23)

• Reasoning about temporal properties of rational play
• Dynamic coalition logic: granting and revoking dictatorial powers
• Bisimulations for verifying strategic abilities with an application to the ThreeBallot voting protocol
• Complete axiomatization and decidability of alternating-time temporal logic
• A SAT-based approach to unbounded model checking for alternating-time temporal epistemic logic
• Model checking abilities of agents: a closer look
• On the use (and abuse) of logic in game theory
• An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
• scientific article; zbMATH DE number 5129607 (Why is no real title available?)
• Model-Checking Strategic Ability and Knowledge of the Past of Communicating Coalitions
• A Logic for Reasoning about Rational Agents
• Constructive knowledge: what agents can achieve under imperfect information
• Temporal Aspects of the Dynamics of Knowledge
• The logic of joint ability in two-player tacit games
• AI*IA 2005: Advances in Artificial Intelligence
• An abstraction-refinement framework for verifying strategic properties in multi-agent systems with imperfect information
• Preface to the special issue: Temporal logics of agency
• Reasoning about dependence, preference and coalitional power
• Seven kinds of equivalent models for generalized coalition logics
• Each of those eight coalition logics is also determined by four other kinds of models
• Reasoning about group responsibility for exceeding risk threshold in one-shot games
• Finitely defined preference and preference indiscernibility in ATL with strategy contexts
• Quantified temporal alethic boulesic doxastic 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)