Pages that link to "Item:Q4511541"
From MaRDI portal
The following pages link to A cut-free Gentzen formulation of the modal logic S5 (Q4511541):
Displaying 18 items.
- Proof analysis in modal logic (Q812101) (← links)
- Proof-theoretic functional completeness for the hybrid logics of everywhere and elsewhere (Q817688) (← links)
- Cut elimination for \(\mathrm{S4}_n\) and \(\mathrm{K4}_n\) with the central agent axiom (Q1042695) (← links)
- The multiplicative-additive Lambek calculus with subexponential and bracket modalities (Q2035845) (← links)
- Full classical S5 in natural deduction with weak normalization (Q2478553) (← links)
- A deep inference system for the modal logic S5 (Q2642520) (← links)
- Hypersequent Calculi for S5: The Methods of Cut Elimination (Q2987741) (← links)
- On a multilattice analogue of a hypersequent S5 calculus (Q3387898) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
- (Q3607560) (← links)
- Why does the proof-theory of hybrid logic work so well? (Q3647283) (← links)
- (Q3760512) (← links)
- (Q4218273) (← links)
- (Q4731169) (← links)
- CUT-FREE COMPLETENESS FOR MODULAR HYPERSEQUENT CALCULI FOR MODAL LOGICS K, T, AND D (Q5027667) (← links)
- Rooted hypersequent calculus for modal logic \textsf{S5} (Q6054106) (← links)
- Varieties of Relevant S5 (Q6107284) (← links)
- Non-labelled sequent calculi of public announcement expansions of \textbf{K45} and \textbf{S5} (Q6562545) (← links)
