Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*

DOI10.1093/logcom/exx038zbMath1410.68242OpenAlexW2791261897MaRDI QIDQ4612409

Jan van Eijck, Kaile Su, Malvin Gattinger, J. F. A. K. van Benthem

Publication date: 31 January 2019

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/10072/400965

zbMATH Keywords

knowledge representationbinary decision diagramssymbolic model checkingdynamic epistemic logicmuddy childrenRussian cards

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Knowledge representation (68T30) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (6)

Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic ⋮ Dynamic term-modal logics for first-order epistemic planning ⋮ A lightweight epistemic logic and its application to planning ⋮ A computationally grounded logic of graded belief ⋮ SMCDEL ⋮ Verification and strategy synthesis for coalition announcement logic

Uses Software

• CUDD
• criterion
• CacBDD
• HasCacBDD
• DEMO

This page was built for publication: Symbolic model checking for Dynamic Epistemic Logic — S5 and beyond*