Pages that link to "Item:Q4295221"
From MaRDI portal
The following pages link to CUT ELIMINATION FOR PROPOSITIONAL DYNAMIC LOGIC WITHOUT (Q4295221):
Displaying 10 items.
- Deep sequent systems for modal logic (Q834716) (← links)
- A contraction-free and cut-free sequent calculus for propositional dynamic logic (Q965900) (← links)
- Cut-free sequent calculi for some tense logics (Q1317905) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- A pure view of ecumenical modalities (Q2148808) (← links)
- Dynamic non-commutative logic (Q2268354) (← links)
- Through an Inference Rule, Darkly (Q3305631) (← links)
- Cut <i>Might</i> Cautiously (Q4842272) (← links)
- An ecumenical notion of entailment (Q6067097) (← links)