Pages that link to "Item:Q2236503"
From MaRDI portal
The following pages link to Coalition and relativised group announcement logic (Q2236503):
Displaying 11 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Group announcement logic (Q975877) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- From coalition logic to STIT (Q2852085) (← links)
- Model checking for coalition announcement logic (Q3119277) (← links)
- To be announced (Q6040661) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)
- Model Checking for Coalition Announcement Logic (Q6488076) (← links)
- No finite model property for logics of quantified announcements (Q6642571) (← links)