Pages that link to "Item:Q3003326"
From MaRDI portal
The following pages link to On the Correspondence between Display Postulates and Deep Inference in Nested Sequent Calculi for Tense Logics (Q3003326):
Displaying 10 items.
- From display to labelled proofs for tense logics (Q1709695) (← links)
- Nested sequents for intuitionistic modal logics via structural refinement (Q2142093) (← links)
- Hypersequent and display calculi -- a unified perspective (Q2259013) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Inducing Syntactic Cut-Elimination for Indexed Nested Sequents (Q2817941) (← links)
- Algebra, Proof Theory and Applications for a Logic of Propositions, Actions and Adjoint Modal Operators (Q3178281) (← links)
- (Q4263012) (← links)
- (Q4263013) (← links)
- (Q4558785) (← links)
- Power and Limits of Structural Display Rules (Q5277918) (← links)