Sum and Product in Dynamic Epistemic Logic

DOI10.1093/logcom/exm081zbMath1150.03005OpenAlexW2146937540MaRDI QIDQ3520235

Ji Ruan, Rineke Verbrugge, Hans P. van Ditmarsch

Publication date: 15 August 2008

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.369.1476

zbMATH Keywords

modal logicmodel checkingdynamic epistemic logicpublic announcement logicepistemic model checker DEMOmulti-agent Kripke modelssum-and-product riddle

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logics of knowledge and belief (including belief change) (03B42) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (7)

Exploring the Power of Converse Events ⋮ Merging DEL and ETL ⋮ Exploiting Asymmetry in Logic Puzzles: Using ZDDs for Symbolic Model Checking Dynamic Epistemic Logic ⋮ Comments to `Logics of public communications' ⋮ Changing types: information dynamics for qualitative type spaces ⋮ Temporal languages for epistemic programs ⋮ A polynomial-time approximation scheme for the airplane refueling problem

This page was built for publication: Sum and Product in Dynamic Epistemic Logic