The following pages link to (Q5016796):
Displaying 7 items.
- Group announcement logic (Q975877) (← links)
- Local properties in modal logic (Q1761295) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Global and Local Graph Modifiers (Q4982127) (← links)
- Asynchronous Announcements (Q5034232) (← links)
- Axiomatization of hybrid logic of link variations (Q6546612) (← links)
- \textit{De re} updates (Q6642569) (← links)