Action emulation
From MaRDI portal
Publication:375313
DOI10.1007/S11229-012-0083-1zbMATH Open1274.03030OpenAlexW3192506939MaRDI QIDQ375313FDOQ375313
Authors: Jan van Eijck, J. Ruan, 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
- An action environment
- Action emulation between canonical models
- scientific article; zbMATH DE number 3966015
- scientific article; zbMATH DE number 3855054
- Action physics
- scientific article; zbMATH DE number 4185089
- scientific article; zbMATH DE number 67850
- Simulation
- scientific article; zbMATH DE number 5070674
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)
- The modal logic of copy and remove
- DYNAMIC GRADED EPISTEMIC LOGIC
- Action emulation between canonical models
- Dynamic epistemic logics
- 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)
