The following pages link to Arrow update synthesis (Q2216107):
Displayed 5 items.
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Copy and remove as dynamic operators (Q5861999) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Comparing the Update Expressivity of Communication Patterns and Action Models (Q6199605) (← links)