Action emulation

DOI10.1007/s11229-012-0083-1zbMath1274.03030MaRDI QIDQ375313

Ji Ruan, Jan van Eijck, Tomasz Sadzik

Publication date: 29 October 2013

Published in: Synthese (Search for Journal in Brave)

Full work available at URL: https://ir.cwi.nl/pub/20626

zbMATH Keywords

equivalence; bisimulation; Kripke semantics; dynamic epistemic logic; update logic

Mathematics Subject Classification ID

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

Related Items

DYNAMIC GRADED EPISTEMIC LOGIC, Dynamic Epistemic Logics, Copy and remove as dynamic operators, Communication pattern logic: epistemic and topological views, Hidden protocols: modifying our expectations in an evolving world, Logics of communication and change, A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks, Arrow update synthesis, The modal logic of copy and remove, Action emulation between canonical models, Symbolic Model Checking for Dynamic Epistemic Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Logics of communication and change
• An elementary proof of the completeness of PDL
• Propositional dynamic logic of regular programs
• Logics for epistemic programs
• The Logic of Public Announcements, Common Knowledge, and Private Suspicions
• Dynamic Epistemic Logic and Knowledge Puzzles
• Simulation and Information: Quantifying over Epistemic Events
• Three Partition Refinement Algorithms