The following pages link to (Q3384067):
Displaying 6 items.
- Group announcement logic (Q975877) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- (Q5028475) (← links)
- To be announced (Q6040661) (← links)
- Model Checking for Coalition Announcement Logic (Q6488076) (← links)