A logic of strategic ability under bounded memory

DOI10.1007/s10849-008-9075-4zbMath1163.68037OpenAlexW1974847881MaRDI QIDQ1006515

Dirk Walther, Thomas Ågotnes

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-008-9075-4

zbMATH Keywords

resource-bounded reasoningmulti-agent systemsalternating-time temporal logicstrategic ability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Temporal logic (03B44)

Related Items (4)

Belief ascription under bounded resources ⋮ Natural strategic ability ⋮ On composition of bounded-recall plans ⋮ Logical Player Types for a Theory of Play

Cites Work

• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Complete axiomatization and decidability of alternating-time temporal logic
• Alternating-time temporal logic
• Constructive knowledge: what agents can achieve under imperfect information
• A Modal Logic for Coalitional Power in Games
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A logic of strategic ability under bounded memory