Generalized alternating-time temporal logics. I: Semantics

DOI10.1016/J.IC.2026.105458MaRDI QIDQ7286061zbMATH OpenFDO

Authors Fengkui Ju, Thomas Ågotnes, Yinfeng Li, Emiliano Lorini

Publication date 23 June 2026

Published in Information and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/J.IC.2026.105458

Mathematics Subject Classification ID

Theory of computing (68Qxx)

Cites work

• A logic of intention and attempt
• A minimal coalition logic
• Action and knowledge in alternating-time temporal logic
• Alternating-time logic with imperfect recall
• Alternating-time temporal logic
• Alternating-time temporal logic
• Borel determinacy
• Complete axiomatization and decidability of alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Each of those eight coalition logics is also determined by four other kinds of models
• scientific article; zbMATH DE number 1142326 (Why is no real title available?)
• On the synthesis of strategies in infinite games
• Reasoning about actions meets strategic logics

This page was built for publication: Generalized alternating-time temporal logics. I: Semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7286061)