Logic for update products and steps into the past

DOI10.1016/j.apal.2010.04.011zbMath1225.03018OpenAlexW1989932007MaRDI 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 logiccompletenessdecidabilitytemporal logicdynamic epistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (6)

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

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

This page was built for publication: Logic for update products and steps into the past