Alternating-time temporal announcement logic
DOI10.1007/978-3-642-22359-4_9zbMATH Open1348.68270OpenAlexW133182445MaRDI QIDQ3092297FDOQ3092297
Authors: 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
Recommendations
dynamic epistemic logicepistemic logicalternating-time temporal logiccoalition logiclogics for coalitional ability
Logics of knowledge and belief (including belief change) (03B42) Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42) Temporal logic (03B44)
Cites Work
- Undecidability for arbitrary public announcement logic
- Alternating-time temporal logic
- Logics for epistemic programs
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
- A Modal Logic for Coalitional Power in Games
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A guide to completeness and complexity for modal logics of knowledge and belief
- A dynamic logic of agency. I: STIT, capabilities and powers
- Group announcement logic
- Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
- Regression in modal logic
- Complete axiomatization and decidability of alternating-time temporal logic
- A logic for reasoning about responsibility
Cited In (4)
This page was built for publication: Alternating-time temporal announcement logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3092297)
