Pages that link to "Item:Q1207545"
From MaRDI portal
The following pages link to 2-sequent calculus: A proof theory of modalities (Q1207545):
Displaying 15 items.
- A cut-free sequent system for two-dimensional modal logic, and why it matters (Q450956) (← links)
- Cut-free Gentzen calculus for multimodal CK (Q764259) (← links)
- Linear logic by levels and bounded time complexity (Q1044841) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- Distributed first order logic (Q1686336) (← links)
- Proof theory for functional modal logic (Q1708100) (← links)
- An approach to infinitary temporal proof theory (Q1762733) (← links)
- A denotational semantics of \(LC2\) (Q1908817) (← links)
- An abstract approach to stratification in linear logic (Q2343125) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Linear Nested Sequents, 2-Sequents and Hypersequents (Q3455766) (← links)
- 2-Sequent Calculus: Intuitionism and Natural Deduction (Q4286223) (← links)
- Temporal Gödel‐Gentzen and Girard translations (Q4915221) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- A natural deduction calculus for \textbf{S4.2} (Q6589311) (← links)
