Alternating-time temporal dynamic epistemic logic

DOI10.1093/LOGCOM/EXS061zbMATH Open1338.03028OpenAlexW1978172164MaRDI QIDQ2939296FDOQ2939296

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

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

zbMATH Keywords

dynamic epistemic logicalternating-time temporal logiclogics for coalitional ability

Mathematics Subject Classification ID

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

Cited In (15)

• Knowledge representation with multiple logical theories and time
• Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection
• Title not available (Why is that?)
• To be announced
• Merging frameworks for interaction
• The dynamics of epistemic attitudes in resource-bounded agents
• A complete coalition logic of temporal knowledge for multi-agent systems
• Taming the Complexity of Temporal Epistemic Reasoning
• Coalition and group announcement logic
• What groups \textit{do}, \textit{can} do, and \textit{know} they can do: an analysis in normal modal logics
• 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
• Merging DEL and ETL

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)