The following pages link to Cut-free common knowledge (Q2475436):
Displaying 16 items.
- Intuitionistic common knowledge or belief (Q334160) (← links)
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Common knowledge does not have the Beth property (Q987837) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- Deduction chains for common knowledge (Q2506830) (← links)
- Two complete finitary sequent calculi for reflexive common knowledge (Q2799622) (← links)
- Justifications for common knowledge (Q2901206) (← links)
- Two Ways to Common Knowledge (Q3185764) (← links)
- The Proof Theory of Common Knowledge (Q3299587) (← 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)
- Geometric Rules in Infinitary Logic (Q5020172) (← links)
