The following pages link to (Q5144635):
Displaying 19 items.
- Duality for modal \(\mu\)-logics (Q1128984) (← links)
- Dual-intuitionistic logic (Q1355125) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence (Q2219076) (← links)
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus (Q2628297) (← links)
- A judgmental reconstruction of modal logic (Q2746757) (← links)
- Dual-context sequent calculus and strict implication (Q2776812) (← links)
- Natural Deduction and Context as (Constructive) Modality (Q3550858) (← links)
- (Q3745828) (← links)
- (Q4525272) (← links)
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
- (Q5155672) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC (Q5741613) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- Contextual modal type theory with polymorphic contexts (Q6535241) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
