An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking

DOI10.3166/jancl.21.93-131zbMath1242.68161OpenAlexW2068331423MaRDI QIDQ2901208

Catalin Dima, Constantin Enea, Dimitar P. Guelev

Publication date: 17 July 2012

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.21.93-131

Mathematics Subject Classification ID

Games involving topology, set theory, or logic (91A44) Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)

Related Items

Specification and Verification of Multi-Agent Systems, Knowledge-based strategies for multi-agent teams playing against nature, Alternating-time temporal logics with linear past, Unnamed Item, Unnamed Item, Approximate verification of strategic abilities under imperfect information

Uses Software

• MCMAS

Cites Work

• Unnamed Item
• The complexity of two-player games of incomplete information
• Complete axiomatizations for reasoning about knowledge and branching time
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Complete axiomatization and decidability of alternating-time temporal logic
• Comparing semantics of logics for multi-agent systems
• Model checking abilities of agents: a closer look
• Alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• Propositional temporal logics: decidability and completeness
• Complete Axiomatizations for Reasoning about Knowledge and Time
• Model Checking on Trees with Path Equivalences