An alternating-time temporal logic with knowledge, perfect recall and past: axiomatisation and model-checking
From MaRDI portal
Publication:2901208
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
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
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