Action emulation
From MaRDI portal
Publication:375313
DOI10.1007/S11229-012-0083-1zbMATH Open1274.03030OpenAlexW3192506939MaRDI QIDQ375313FDOQ375313
J. 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
Recommendations
Cites Work
- Modal logic
- The Logic of Public Announcements, Common Knowledge, and Private Suspicions
- Logics of communication and change
- Propositional dynamic logic of regular programs
- Logics for epistemic programs
- Dynamic Epistemic Logic and Knowledge Puzzles
- Title not available (Why is that?)
- Three Partition Refinement Algorithms
- An elementary proof of the completeness of PDL
- Title not available (Why is that?)
- Simulation and Information: Quantifying over Epistemic Events
Cited In (13)
- Dynamic Epistemic Logics
- The modal logic of copy and remove
- DYNAMIC GRADED EPISTEMIC LOGIC
- Action emulation between canonical models
- Communication pattern logic: epistemic and topological views
- An action environment
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks
- Arrow update synthesis
- Comparing the Update Expressivity of Communication Patterns and Action Models
- Symbolic Model Checking for Dynamic Epistemic Logic
- Copy and remove as dynamic operators
- Hidden protocols: modifying our expectations in an evolving world
- Logics of communication and change
This page was built for publication: Action emulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q375313)
