Alternating-time temporal dynamic epistemic logic

DOI10.1093/LOGCOM/EXS061MaRDI QIDQ2939296zbMATH OpenOpenAlexFDO

Authors Tiago de Lima

Publication date 19 January 2015

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exs061

zbMATH Keywords

alternating-time temporal logicdynamic epistemic logiclogics for coalitional ability

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Recommendations

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

Cited in

(15)

• Merging frameworks for interaction
• A complete coalition logic of temporal knowledge for multi-agent systems
• The dynamics of epistemic attitudes in resource-bounded agents
• Coalition and relativised group announcement logic
• Comparing semantics of logics for multi-agent systems
• Action and knowledge in alternating-time temporal logic
• Alternating-time temporal announcement logic
• Coalition and group announcement logic
• What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics
• Taming the Complexity of Temporal Epistemic Reasoning
• scientific article; zbMATH DE number 1949006 (Why is no real title available?)
• Knowledge representation with multiple logical theories and time
• To be announced
• Merging DEL and ETL
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection

This page was built for publication: Alternating-time temporal dynamic epistemic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2939296)