The following pages link to (Q5119390):
Displaying 9 items.
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- (Q3745828) (← links)
- (Q4525272) (← links)
- (Q5119390) (← links)
- (Q5144635) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)