The following pages link to Positive announcements (Q2046881):
Displaying 5 items.
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- (Q5028475) (← links)
- To be announced (Q6040661) (← links)
