Pages that link to "Item:Q2901206"
From MaRDI portal
The following pages link to Justifications for common knowledge (Q2901206):
Displayed 18 items.
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Lower complexity bounds in justification logic (Q408543) (← links)
- Event-based time-stamped claim logic (Q2043818) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- Distributed knowledge justification logics (Q2254486) (← links)
- Realizing public announcements by justifications (Q2453578) (← links)
- A logic of knowing why (Q2693121) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Explicit Generic Common Knowledge (Q3455832) (← links)
- Update as Evidence: Belief Expansion (Q3455850) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- A Conflict Tolerant Logic of Explicit Evidence (Q5059694) (← links)
- Semirings of Evidence (Q5098741) (← links)
- A Logic of Knowledge and Belief Based on Abstract Arguments (Q5098746) (← links)
- Decidability for some justification logics with negative introspection (Q5300069) (← links)
- Common Knowledge, Common Attitudes and Social Reasoning (Q6043004) (← links)
- Conditional obligations in justification logic (Q6118688) (← links)
- Modal and justification logics for multi-agent systems (invited talk) (Q6139081) (← links)