Pages that link to "Item:Q3299587"
From MaRDI portal
The following pages link to The Proof Theory of Common Knowledge (Q3299587):
Displaying 25 items.
- Common knowledge does not have the Beth property (Q987837) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- On the logic of common belief and common knowledge (Q1330013) (← links)
- The generation of formulas held in common knowledge (Q1414381) (← links)
- First order common knowledge logics (Q1582313) (← links)
- A map of common knowledge logics (Q1611251) (← links)
- The coinductive formulation of common knowledge (Q1791151) (← links)
- Logical structure of common knowledge (Q1802032) (← links)
- The Ryōan-ji axiom for common knowledge on hypergraphs (Q2263050) (← links)
- Cut-free common knowledge (Q2475436) (← links)
- Deduction chains for common knowledge (Q2506830) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Two complete finitary sequent calculi for reflexive common knowledge (Q2799622) (← links)
- Common Knowledge Semantics of Armstrong’s Axioms (Q2938141) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Formalizing Concurrent Common Knowledge as Product of Modal Logics (Q3378197) (← links)
- (Q4258569) (← links)
- La connaissance commune en logique modale (Q4304804) (← links)
- (Q4725777) (← links)
- (Q4867028) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
- (Q5104712) (← links)
- Common Knowledge and the Knowledge Account of Assertion (Q5213677) (← links)