Pages that link to "Item:Q2155204"
From MaRDI portal
The following pages link to Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204):
Displaying 7 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- A Hybrid Public Announcement Logic with Distributed Knowledge (Q4917078) (← links)
- (Q5875391) (← links)
- To be announced (Q6040661) (← links)