Pages that link to "Item:Q1207545"
From MaRDI portal
The following pages link to 2-sequent calculus: A proof theory of modalities (Q1207545):
Displaying 12 items.
- 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)
- 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)
- 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)
