Logic for update products and steps into the past

DOI10.1016/j.apal.2010.04.011zbMath1225.03018MaRDI QIDQ636377

Joshua Sack

Publication date: 26 August 2011

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.apal.2010.04.011

zbMATH Keywords

modal logic; completeness; decidability; temporal logic; dynamic epistemic logic

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B42: Logics of knowledge and belief (including belief change)

03B44: Temporal logic

Related Items

A general framework for dynamic epistemic logic: towards canonical correspondences, Temporal Aspects of the Dynamics of Knowledge, Logics of temporal-epistemic actions, On inverse operators in dynamic epistemic logic, Exploring the Power of Converse Events, Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Logics of communication and change
• Dynamic epistemic logic
• Temporal languages for epistemic programs
• Dynamic epistemic logic with branching temporal structures
• Extending probabilistic dynamic epistemic logic
• Merging frameworks for interaction
• A knowledge based semantics of messages
• Logics for epistemic programs
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Dynamic Epistemic Temporal Logic