The following pages link to Resolving distributed knowledge (Q1677430):
Displaying 11 items.
- Together we know how to achieve: an epistemic logic of know-how (Q1711891) (← links)
- Verification and strategy synthesis for coalition announcement logic (Q2071573) (← links)
- Pooling modalities and pointwise intersection: semantics, expressivity, and dynamics (Q2144204) (← links)
- On Artemov and Protopopescu's intuitionistic epistemic logic expanded with distributed knowledge (Q2148837) (← links)
- Logics with group announcements and distributed knowledge: completeness and expressive power (Q2155204) (← links)
- Coalition and relativised group announcement logic (Q2236503) (← links)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
- Intelligence in Strategic Games (Q5154729) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Impure Simplicial Complexes: Complete Axiomatization (Q6076177) (← links)
- Comparing the Update Expressivity of Communication Patterns and Action Models (Q6199605) (← links)
