The following pages link to Positive announcements (Q2046881):
Displaying 7 items.
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Some new positive observations (Q2198381) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- (Q5028475) (← links)
- To be announced (Q6040661) (← links)
- No finite model property for logics of quantified announcements (Q6642571) (← links)