Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic

DOI10.1007/978-3-319-62864-6_15zbMath1437.03067OpenAlexW2791566840MaRDI QIDQ3299584

Wesley H. Holliday

Publication date: 24 July 2020

Published in: Jaakko Hintikka on Knowledge and Game-Theoretical Semantics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-62864-6_15

zbMATH Keywords

temporal logicdynamic epistemic logicsurprise exam paradoxanti-performatory announcementsFitch's paradox of knowabilityMoorean announcementssequential epistemic logicunassimilable announcements

Mathematics Subject Classification ID

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

Related Items (3)

To be announced ⋮ Everything is learnable, once it is settled ⋮ Inexact knowledge and dynamic introspection

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Information dynamics and uniform substitution
• Logics of temporal-epistemic actions
• Logic for update products and steps into the past
• The secret of my success
• The surprise examination in dynamic epistemic logic
• Dynamic epistemic logic
• Fitch's paradox and ceteris paribus modalities
• Dynamic epistemic logic with branching temporal structures
• Merging frameworks for interaction
• Reasoning about information change
• Dynamic Epistemic Logic and Temporal Modality
• Elusive Knowledge
• Schematic Validity in Dynamic Epistemic Logic: Decidability
• Logical Dynamics of Information and Interaction
• A Dynamic Epistemic Logic with a Knowability Principle
• ‘KNOWABLE’ AS ‘KNOWN AFTER AN ANNOUNCEMENT’
• Dynamic logic of preference upgrade
• Expressivity and completeness for public update logics via reduction axioms
• Dynamic Epistemic Temporal Logic
• A logical analysis of some value concepts
• What one may come to know
• Connecting dynamic epistemic and temporal epistemic logics

This page was built for publication: Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic