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 logicgamesmodal logicpublic announcement logictemporal logic

Mathematics Subject Classification ID

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

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

(14)

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

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)