Alternating-Time Temporal Announcement Logic

DOI10.1007/978-3-642-22359-4_9zbMath1348.68270OpenAlexW133182445MaRDI QIDQ3092297

Tiago de Lima

Publication date: 16 September 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22359-4_9

zbMATH Keywords

epistemic logicdynamic epistemic logicalternating-time temporal logiccoalition logiclogics for coalitional ability

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Agent technology and artificial intelligence (68T42)

Related Items (1)

To be announced

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Group announcement logic
• A guide to completeness and complexity for modal logics of knowledge and belief
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• A dynamic logic of agency. I: STIT, capabilities and powers
• Complete axiomatization and decidability of alternating-time temporal logic
• Logics for epistemic programs
• Alternating-time temporal logic
• A logic for reasoning about responsibility
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• Regression in Modal Logic
• A Modal Logic for Coalitional Power in Games

This page was built for publication: Alternating-Time Temporal Announcement Logic