Connecting dynamic epistemic and temporal epistemic logics

DOI10.1093/JIGPAL/JZR038MaRDI QIDQ4925178zbMATH OpenOpenAlexFDO

Authors Wiebe van der Hoek, J. Ruan, Hans van Ditmarsch

Publication date 11 June 2013

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/jigpal/jzr038

zbMATH Keywords

dynamic epistemic logicinterpreted systemsmodel checkingprotocolstemporal epistemic logic

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Temporal logic (03B44) Specification and verification (program logics, model checking, etc.) (68Q60) Logic in artificial intelligence (68T27)

Recommendations

• Logics of temporal-epistemic actions
• Merging frameworks for interaction
• scientific article; zbMATH DE number 1537935
• Dynamic epistemic logic
• Dynamic epistemic logics

Cited in

(15)

• Dynamic epistemic logic with branching temporal structures
• Merging frameworks for interaction
• A logic for belief contraction
• Playing cards with Hintikka: an introduction to dynamic epistemic logic
• Knowledge, time, and paradox: introducing sequential epistemic logic
• Symbolic Model Checking for Dynamic Epistemic Logic
• Taming the Complexity of Temporal Epistemic Reasoning
• Dynamic epistemic temporal logic
• A general framework for dynamic epistemic logic: towards canonical correspondences
• Logics of temporal-epistemic actions
• Knowledge and local actions
• Temporal Aspects of the Dynamics of Knowledge
• A separation logic with histories of epistemic actions as resources
• Merging DEL and ETL
• Comparing the Update Expressivity of Communication Patterns and Action Models

Describes a project that uses

Uses Software

• MCK
• DEMO

This page was built for publication: Connecting dynamic epistemic and temporal epistemic logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4925178)