The following pages link to Group announcement logic (Q975877):
Displayed 8 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Simulative belief logic (Q2446544) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Mathematics of Public Announcements (Q3094007) (← links)