The following pages link to Arrow update synthesis (Q2216107):
Displaying 9 items.
- Arbitrary arrow update logic (Q343913) (← links)
- A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks (Q2043796) (← links)
- Arbitrary Action Model Logic and Action Model Synthesis (Q5271062) (← 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)
- Action models for coalition logic (Q6550523) (← links)
- Minimizing agents' state corruption resulting from leak-free epistemic communication modeling (Q6630194) (← links)
