Information dynamics and uniform substitution

DOI10.1007/s11229-013-0278-0zbMath1310.03027MaRDI QIDQ484920

Wesley H. Holliday, Thomas F. III Icard, Tomohiro Hoshi

Publication date: 8 January 2015

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s11229-013-0278-0

zbMATH Keywords

decidability; dynamic epistemic logic; public announcement logic; schematic validity; substitution core; uniform substitution

Mathematics Subject Classification ID

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The modal logic of pure provability
• The secret of my success
• Logics of communication and change
• Dynamic epistemic logic
• Dynamic epistemic logic with branching temporal structures
• Reasoning about information change
• The Russian cards problem
• Should knowledge entail belief?
• Modal logic with subjunctive conditionals and dispositional predicates
• Validity and necessity
• An axiomatization of full Computation Tree Logic
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Schematic Validity in Dynamic Epistemic Logic: Decidability
• On Axiomatizations of PAL
• Logical Dynamics of Information and Interaction
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• A logical analysis of some value concepts
• What one may come to know
• Modalities and Quantification
• Two-dimensional modal logic