Pages that link to "Item:Q310079"
From MaRDI portal
The following pages link to The undecidability of quantified announcements (Q310079):
Displayed 10 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Positive announcements (Q2046881) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- (Q3384067) (← links)
- (Q3384080) (← links)
- To be announced (Q6040661) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)