Information dynamics and uniform substitution

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

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

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

decidabilitydynamic epistemic logicpublic announcement logicschematic validitysubstitution coreuniform substitution

Mathematics Subject Classification ID

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

Related Items (5)

A TWO-DIMENSIONAL LOGIC FOR TWO PARADOXES OF DEONTIC MODALITY ⋮ A two-dimensional logic for diagonalization and the a priori ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Logics of imprecise comparative probability ⋮ True lies

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

This page was built for publication: Information dynamics and uniform substitution