The following pages link to Action emulation (Q375313):
Displayed 12 items.
- Hidden protocols: modifying our expectations in an evolving world (Q490513) (← links)
- Logics of communication and change (Q859825) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Arrow update synthesis (Q2216107) (← links)
- The modal logic of copy and remove (Q2401633) (← links)
- Action emulation between canonical models (Q2441479) (← links)
- Symbolic Model Checking for Dynamic Epistemic Logic (Q3457719) (← links)
- DYNAMIC GRADED EPISTEMIC LOGIC (Q5216978) (← links)
- Dynamic Epistemic Logics (Q5249670) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Comparing the Update Expressivity of Communication Patterns and Action Models (Q6199605) (← links)