Pages that link to "Item:Q2746757"
From MaRDI portal
The following pages link to A judgmental reconstruction of modal logic (Q2746757):
Displaying 30 items.
- A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4 (Q5089022) (← links)
- A fibrational framework for substructural and modal logics (Q5111322) (← links)
- Negative translations and normal modality (Q5111325) (← links)
- (Q5119390) (← links)
- (Q5155672) (← links)
- Selective Memoization with Box Types (Q5170291) (← links)
- (Q5214814) (← links)
- Axiomatic and dual systems for constructive necessity, a formally verified equivalence (Q5231279) (← links)
- ETA-RULES IN MARTIN-LÖF TYPE THEORY (Q5240810) (← links)
- Proof-Theoretic Semantics and Feasibility (Q5250217) (← links)
- Constructive Modalities with Provability Smack (Q5255796) (← links)
- CATEGORICAL HARMONY AND PATH INDUCTION (Q5274880) (← links)
- Adjoint Logic with a 2-Category of Modes (Q5283430) (← links)
- Type-safe higher-order channels with channel locality (Q5302647) (← links)
- Boxes go bananas: Encoding higher-order abstract syntax with parametric polymorphism (Q5437034) (← links)
- A new interpretation of russell's multiple-relation theory of judgment (Q5749274) (← links)
- A dual-context sequent calculus for the constructive modal logic S4 (Q5889308) (← links)
- SUBATOMIC INFERENCES: AN INFERENTIALIST SEMANTICS FOR ATOMICS, PREDICATES, AND NAMES (Q6051421) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- A general framework for the semantics of type theory (Q6149910) (← links)
- UNDER LOCK AND KEY: A PROOF SYSTEM FOR A MULTIMODAL LOGIC (Q6170504) (← links)
- Morpho-logic from a topos perspective -- application to symbolic AI (Q6178744) (← links)
- Modal crash types for intermittent computing (Q6535235) (← links)
- Contextual modal type theory with polymorphic contexts (Q6535241) (← links)
- On intuitionistic diamonds (and lack thereof) (Q6541158) (← links)
- Canonicity of proofs in constructive modal logic (Q6541161) (← links)
- A general schema for bilateral proof rules (Q6544534) (← links)
- Harmony in the light of computational ludics (Q6657788) (← links)
- A linear algebra approach to linear metatheory (Q6657791) (← links)
- Bilateral inversion principles (Q6659909) (← links)
