A guide to completeness and complexity for modal logics of knowledge and belief
Artificial Intelligence
Artificial intelligence and mathematical theory of computation
Reasoning about knowledge
Dynamic Logic
Alternating-time temporal logic
Journal of the ACM (JACM)
Dynamic epistemic logic with assignment
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Complete axiomatization and decidability of alternating-time temporal logic
Theoretical Computer Science
Alternating-time temporal logic with explicit strategies
TARK '07 Proceedings of the 11th conference on Theoretical aspects of rationality and knowledge
Proceedings of the 7th international joint conference on Autonomous agents and multiagent systems - Volume 2
A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
Declarative Agent Languages and Technologies VI
Optimal regression for reasoning about knowledge and actions
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Semantics for a useful fragment of the situation calculus
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
A Dynamic Logic of Agency I: STIT, Capabilities and Powers
Journal of Logic, Language and Information
Hi-index | 0.00 |
We propose a formalism that we call Alternating-time Temporal Announcement Logic (ATAL). It can be seen as an extension of the Coalition Announcement Logic (CAL) proposed by Ågotnes et al. As well as CAL, ATAL has modal operators enabling to express sentences like 'there is an action α by group of agents G after which consequence ϕ is true, in spite of what the other agents do'. One of the differences here, is that such action α can also be a physical action, and not only public announcements, as in CAL. Based on the latter kind of operator, ATAL also presents operators similar to those in Alternating-time Temporal Logic, which enable to express agents abilities. For instance, ATAL has operators enabling to express sentences like 'the group of agents G is able to enforce that ϕ is true from the next step on until φ becomes true'. We also provide a sound and complete axiomatization for ATAL and draw comparisons with several other logics, such as Public Announcement Logic with Assignment, Arbitrary Public Announcement Logic, Coalition Logic and Alternating-time Temporal Logic.