Action emulation

DOI10.1007/s11229-012-0083-1zbMath1274.03030OpenAlexW3192506939MaRDI 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

equivalencebisimulationKripke semanticsdynamic epistemic logicupdate logic

Mathematics Subject Classification ID

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

Related Items (12)

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

Cites Work

• 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
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Action emulation