Connecting dynamic epistemic and temporal epistemic logics

DOI10.1093/jigpal/jzr038zbMath1285.03008OpenAlexW1988897859MaRDI QIDQ4925178

Wiebe van der Hoek, Ji Ruan, Hans P. van Ditmarsch

Publication date: 11 June 2013

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

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

zbMATH Keywords

model checkingdynamic epistemic logicprotocolsinterpreted systemstemporal epistemic logic

Mathematics Subject Classification ID

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

Related Items (9)

Symbolic Model Checking for Dynamic Epistemic Logic ⋮ A Logic for Belief Contraction ⋮ A general framework for dynamic epistemic logic: towards canonical correspondences ⋮ A separation logic with histories of epistemic actions as resources ⋮ Comparing the Update Expressivity of Communication Patterns and Action Models ⋮ Playing Cards with Hintikka: An Introduction to Dynamic Epistemic Logic ⋮ Knowledge, Time, and Paradox: Introducing Sequential Epistemic Logic ⋮ Knowledge and Local Actions ⋮ Temporal Aspects of the Dynamics of Knowledge

Uses Software

• MCK
• DEMO

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