The following pages link to Group announcement logic (Q975877):
Displaying 30 items.
- The undecidability of quantified announcements (Q310079) (← links)
- Arbitrary arrow update logic (Q343913) (← links)
- Exploring the tractability border in epistemic tasks (Q484931) (← links)
- What will they say? -- Public announcement games (Q542137) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Knowing the price of success (Q785233) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- The dynamics of epistemic attitudes in resource-bounded agents (Q2001362) (← links)
- On composition of bounded-recall plans (Q2046034) (← links)
- Positive announcements (Q2046881) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- The undecidability of arbitrary arrow update logic (Q2404071) (← links)
- Simulative belief logic (Q2446544) (← links)
- Arbitrary public announcement logic with memory (Q2686087) (← links)
- Alternating-Time Temporal Announcement Logic (Q3092297) (← links)
- Mathematics of Public Announcements (Q3094007) (← links)
- (Q3384067) (← links)
- (Q3384080) (← links)
- (Q3384085) (← links)
- Putting right the wording and the proof of the Truth Lemma for<i>APAL</i> (Q4586133) (← links)
- Propositional quantification in logics of contingency (Q4586155) (← links)
- (Q5015382) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Satisfiability of Arbitrary Public Announcement Logic with Common Knowledge is Σ^1_1-hard (Q6199614) (← links)
