scientific article; zbMATH DE number 6302912
From MaRDI portal
Publication:5419888
zbMath1291.03025MaRDI QIDQ5419888
Thomas F. III Icard, Wesley H. Holliday, Tomohiro Hoshi
Publication date: 11 June 2014
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
dynamic epistemic logicpublic announcement logicschematic validitysubstitution coreuniform substitution
Related Items (8)
HYPE: a system of hyperintensional logic (with an application to semantic paradoxes) ⋮ Book review of: Johan van Benthem, Logical dynamics of information and interaction ⋮ A curious dialogical logic and its composition problem ⋮ Information dynamics and uniform substitution ⋮ On axiomatizations of public announcement logic ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Logics of imprecise comparative probability ⋮ Schematic Validity in Dynamic Epistemic Logic: Decidability
This page was built for publication:
