Pages that link to "Item:Q1772772"
From MaRDI portal
The following pages link to About cut elimination for logics of common knowledge (Q1772772):
Displayed 17 items.
- Intuitionistic common knowledge or belief (Q334160) (← links)
- A logical framework for convention (Q813427) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- About cut elimination for logics of common knowledge (Q1772772) (← links)
- Cut-free common knowledge (Q2475436) (← links)
- Justified common knowledge (Q2500478) (← links)
- Mechanizing common knowledge logic using COQ (Q2643149) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← links)
- Explicit Generic Common Knowledge (Q3455832) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)
- An On-the-fly Tableau-based Decision Procedure for PDL-satisfiability (Q4982121) (← links)
- Syntactic Cut-elimination for Common Knowledge (Q4982123) (← links)
- Pairing Traditional and Generic Common Knowledge (Q5283415) (← links)