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
- An elementary proof of the completeness of PDL
- Dynamic Epistemic Logic and Knowledge Puzzles
- scientific article; zbMATH DE number 3869303 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- Logics for epistemic programs
- Logics of communication and change
- Modal logic
- Propositional dynamic logic of regular programs
- Simulation and Information: Quantifying over Epistemic Events
- The logic of public announcements, common knowledge, and private suspicions
- Three Partition Refinement Algorithms
Cited in
(13)- 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
- An action environment
- Symbolic Model Checking for Dynamic Epistemic Logic
- Hidden protocols: modifying our expectations in an evolving world
- DYNAMIC GRADED EPISTEMIC LOGIC
- Dynamic epistemic logics
- Copy and remove as dynamic operators
- Communication pattern logic: epistemic and topological views
- Comparing the Update Expressivity of Communication Patterns and Action Models
- 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)
