scientific article; zbMATH DE number 7297837
From MaRDI portal
Publication:5144635
zbMATH Open1452.03058MaRDI QIDQ5144635FDOQ5144635
Publication date: 19 January 2021
Full work available at URL: http://dl.acm.org/citation.cfm?id=3330024
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 7243672
- 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 (20)
- Dual and axiomatic systems for constructive S4, a formally verified equivalence
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence
- A dual-context sequent calculus for the constructive modal logic S4
- Title not available (Why is that?)
- Contextual modal type theory with polymorphic contexts
- A MODAL TRANSLATION FOR DUAL-INTUITIONISTIC LOGIC
- On dual programs in co-logic programming and the Horn \({\mu}\)-calculus
- Dual-intuitionistic logic
- Duality for modal \(\mu\)-logics
- Modality via iterated enrichment
- Title not available (Why is that?)
- Title not available (Why is that?)
- A judgmental reconstruction of modal logic
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4
- Normalization by evaluation for modal dependent type theory
- Modal dependent type theory and dependent right adjoints
- Natural deduction and context as (constructive) modality
- Title not available (Why is that?)
- Dual-context sequent calculus and strict implication
- On intuitionistic diamonds (and lack thereof)
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)
