The following pages link to Distributed knowledge (Q3647273):
Displayed 20 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)
- 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)
- Distributed knowledge justification logics (Q2254486) (← links)
- An Epistemic Logic with Hypotheses (Q3094014) (← links)
- Public Announcement Logic with Distributed Knowledge (Q3094018) (← links)
- Epistemic Logic with Evidence and Relevant Alternatives (Q3299591) (← links)
- Proof Theory for Distributed Knowledge (Q3602943) (← links)
- (Q5015382) (← links)
- (Q5016796) (← links)
- О трудностях определения имплицитного знания группы (Q5059704) (← links)
- PRIORITY MERGE AND INTERSECTION MODALITIES (Q5065140) (← links)
- Further Steps Towards a Logic of Polarization in Social Networks (Q5098763) (← links)
- To be announced (Q6040661) (← links)
- Communication pattern logic: epistemic and topological views (Q6054065) (← links)
- Comparing the Update Expressivity of Communication Patterns and Action Models (Q6199605) (← links)