Alternating-time temporal announcement logic

DOI10.1007/978-3-642-22359-4_9MaRDI QIDQ3092297zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

dynamic epistemic logicepistemic logicalternating-time temporal logiccoalition logiclogics for coalitional ability

Mathematics Subject Classification ID

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

Recommendations

• Alternating-time temporal dynamic epistemic logic
• Action and knowledge in alternating-time temporal logic
• Group announcement logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• scientific article; zbMATH DE number 1949006

Cites work

• scientific article; zbMATH DE number 89002 (Why is no real title available?)
• scientific article; zbMATH DE number 1556014 (Why is no real title available?)
• scientific article; zbMATH DE number 795590 (Why is no real title available?)
• A Complete STIT Logic for Knowledge and Action, and Some of Its Applications
• A Modal Logic for Coalitional Power in Games
• A dynamic logic of agency. I: STIT, capabilities and powers
• A guide to completeness and complexity for modal logics of knowledge and belief
• A logic for reasoning about responsibility
• Alternating-time temporal logic
• Complete axiomatization and decidability of alternating-time temporal logic
• Cooperation, knowledge, and time: Alternating-time temporal epistemic logic and its applications
• Group announcement logic
• Logics for epistemic programs
• Regression in modal logic
• Undecidability for arbitrary public announcement logic

Cited in

(4)

• Alternating-time temporal dynamic epistemic logic
• To be announced
• Alternating-time temporal logic
• Verification and strategy synthesis for coalition announcement logic

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)