Pages that link to "Item:Q1187165"
From MaRDI portal
The following pages link to A perspective on modal sequent logic (Q1187165):
Displaying 12 items.
- General-elimination stability (Q526738) (← links)
- An intriguing logic with two implicational connectives (Q698537) (← links)
- Suszko's thesis, inferential many-valuedness, and the notion of a logical system (Q931405) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- The Došen square under construction: a tale of four modalities (Q2142095) (← links)
- Harmony in multiple-conclusion natural-deduction (Q2254564) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Explicating logical independence (Q2301324) (← links)
- Disentangling structural connectives or life without display property (Q2421521) (← links)
- Identical twins, deduction theorems, and pattern functions: Exploring the implicative BCSK fragment of S5 (Q2499308) (← links)
- Priest on Negation (Q3305669) (← links)
- A CUT-FREE SIMPLE SEQUENT CALCULUS FOR MODAL LOGIC S5 (Q3580655) (← links)
