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)

zbMATH Keywords

coalitionsgame theorymulti-agent systemsepistemic logic

Mathematics Subject Classification ID

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

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

(19)

• A Logic for Reasoning about Rational Agents
• scientific article; zbMATH DE number 5129607 (Why is no real title available?)
• 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)