Temporal languages for epistemic programs

DOI10.1007/s10849-007-9054-1zbMath1184.03010OpenAlexW2031495626MaRDI QIDQ1006494

Joshua Sack

Publication date: 24 March 2009

Published in: Journal of Logic, Language and Information (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10849-007-9054-1

zbMATH Keywords

modal logictemporal logicgamesepistemic logicdynamic epistemic logicpublic announcement logic

Mathematics Subject Classification ID

Games in extensive form (91A18) Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44)

Related Items (12)

Quantified temporal alethic boulesic doxastic logic ⋮ Logics of Rational Interaction ⋮ Exploring the Power of Converse Events ⋮ On inverse operators in dynamic epistemic logic ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ Logic for update products and steps into the past ⋮ A history based logic for dynamic preference updates ⋮ Reverse public announcement operators on expanded models ⋮ Logics of temporal-epistemic actions ⋮ Extending probabilistic dynamic epistemic logic ⋮ Merging frameworks for interaction ⋮ Temporal Aspects of the Dynamics of Knowledge

Cites Work

• Hybrid languages
• Logics for epistemic programs
• Logics of public communications
• Sum and Product in Dynamic Epistemic Logic
• What one may come to know
• Clues to the paradoxes of knowability: reply to Dummett and Tennant

This page was built for publication: Temporal languages for epistemic programs