Temporal languages for epistemic programs

DOI10.1007/S10849-007-9054-1MaRDI QIDQ1006494zbMATH OpenOpenAlexFDO

Authors 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

dynamic epistemic logicepistemic logicmodal logictemporal logicgamespublic announcement logic

Mathematics Subject Classification ID

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

Recommendations

• On axiomatizations of public announcement logic
• Dynamic Epistemic Logic and Knowledge Puzzles
• `Knowable' as `known after an announcement'
• A soundness and completeness proof on dialogs and dynamic epistemic logic
• Schematic Validity in Dynamic Epistemic Logic: Decidability
• Algebraic semantics and model completeness for intuitionistic public announcement logic
• Public announcement logic with distributed knowledge
• A Tableau Method for Public Announcement Logics

Cites work

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

Cited in

(13)

• Quantified temporal alethic boulesic doxastic logic
• Merging frameworks for interaction
• A general framework for dynamic epistemic logic: towards canonical correspondences
• On inverse operators in dynamic epistemic logic
• Formal semantics of meta-level architectures: Temporal epistemic reflection
• Logics of rational interaction
• Extending probabilistic dynamic epistemic logic
• A history based logic for dynamic preference updates
• Temporal Aspects of the Dynamics of Knowledge
• Logics of temporal-epistemic actions
• Reverse public announcement operators on expanded models
• Logic for update products and steps into the past
• Exploring the power of converse events

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

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