The following pages link to (Q5793835):
Displaying 10 items.
- Constructive modal logics. I (Q750417) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Globalization of intuitionistic set theory (Q1095903) (← links)
- The \(\omega{}\)-rule (Q1207341) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- A uniform tableau method for intuitionistic modal logics. I (Q1317899) (← links)
- Mathematical modal logic: A view of its evolution (Q1422628) (← links)
- Fibrational modal type theory (Q1744413) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)