The following pages link to (Q5688812):
Displaying 20 items.
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Constructive linear-time temporal logic: proof systems and Kripke semantics (Q764262) (← links)
- Deep sequent systems for modal logic (Q834716) (← links)
- Combining linear-time temporal logic with constructiveness and paraconsistency (Q975875) (← links)
- Coherence for sharing proof-nets (Q1398472) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- Modality via iterated enrichment (Q2134835) (← links)
- Intuitionistic hybrid logic (Q2506826) (← links)
- Domain-Free<i>λµ</i>-Calculus (Q2729625) (← links)
- A By-Level Analysis of Multiplicative Exponential Linear Logic (Q3182938) (← links)
- Embedding Constructive K into Intuitionistic K (Q3185769) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- (Q5013887) (← links)
- Coherence for sharing proof nets (Q5055862) (← links)
- (Q5119390) (← links)
- Modal dependent type theory and dependent right adjoints (Q5220184) (← links)
- Normalization by evaluation for modal dependent type theory (Q6065506) (← links)
- Contextual modal type theory with polymorphic contexts (Q6535241) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
