The following pages link to Cut-free common knowledge (Q2475436):
Displayed 5 items.
- Cut-free sequent systems for temporal logic (Q941433) (← links)
- Canonical completeness of infinitary \(\mu \) (Q941442) (← links)
- On the proof theory of the modal mu-calculus (Q1005937) (← links)
- Syntactic cut-elimination for common knowledge (Q1024553) (← links)
- One-Pass Tableaux for Computation Tree Logic (Q3498455) (← links)