The following pages link to (Q4461801):
Displaying 7 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Noninterference for Intuitionist Necessity (Q2936242) (← links)
- Machine-Checked Proof-Theory for Propositional Modal Logics (Q3305555) (← links)
- (Q5039161) (← links)
- An intuitionistic defence of Berkeley’s master argument (Q5046222) (← links)
- (Q5119390) (← links)