The following pages link to Two Ways to Common Knowledge (Q3185764):
Displaying 9 items.
- The logic of justified belief, explicit knowledge, and conclusive evidence (Q392273) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- The coinductive formulation of common knowledge (Q1791151) (← links)
- Common knowledge: Relating anti-founded situation semantics to modal logic neighbourhood semantics (Q1895975) (← links)
- Deduction chains for common knowledge (Q2506830) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- (Q3483262) (← links)
- Semirings of Evidence (Q5098741) (← links)