Pages that link to "Item:Q2236503"
From MaRDI portal
The following pages link to Coalition and relativised group announcement logic (Q2236503):
Displaying 4 items.
- Dynamic coalition logic: granting and revoking dictatorial powers (Q2148819) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- To be announced (Q6040661) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)
