The following pages link to Distributed knowledge (Q3647273):
Displayed 8 items.
- Public announcement logic with distributed knowledge: expressivity, completeness and complexity (Q484926) (← links)
- Resolving distributed knowledge (Q1677430) (← links)
- Second-order propositional modal logic: expressiveness and completeness results (Q1731834) (← links)
- The many faces of closure and introspection. An ineractive perspective (Q1947027) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- An Epistemic Logic with Hypotheses (Q3094014) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)