scientific article; zbMATH DE number 7297837
From MaRDI portal
Publication:5144635
Recommendations
- Dual-context calculi for modal logic
- Duality for modal \(\mu\)-logics
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- scientific article; zbMATH DE number 1555174
- A dual-context sequent calculus for the constructive modal logic S4
- Dual-context sequent calculus and strict implication
- scientific article; zbMATH DE number 1497877
- Dual-intuitionistic logic
- scientific article; zbMATH DE number 4187771
Cited in
(23)- scientific article; zbMATH DE number 3981153 (Why is no real title available?)
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- Basic constructive modality
- Dual-context sequent calculus and strict implication
- Duality for modal \(\mu\)-logics
- Dual-intuitionistic logic
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- Modal dependent type theory and dependent right adjoints
- Normalization by evaluation for modal dependent type theory
- Fitch-style modal lambda calculi
- A judgmental reconstruction of modal logic
- Modality via iterated enrichment
- A dual-context sequent calculus for the constructive modal logic S4
- On intuitionistic diamonds (and lack thereof)
- Multimodal dependent type theory
- On the computational interpretation of \(\mathbf{CK}_{n}\) for contextual information processing
- Natural deduction and context as (constructive) modality
- scientific article; zbMATH DE number 1848312 (Why is no real title available?)
- Contextual modal type theory with polymorphic contexts
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- scientific article; zbMATH DE number 1555174 (Why is no real title available?)
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5144635)
