Action emulation
From MaRDI portal
Publication:375313
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
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