The following pages link to Sequent-systems for modal logic (Q5187258):
Displaying 13 items.
- Simple consequence relations (Q809992) (← links)
- Sequent-systems and groupoid models. I (Q1119625) (← links)
- A perspective on modal sequent logic (Q1187165) (← links)
- Modal translations in substructural logics (Q1198409) (← links)
- Modal logic as metalogic (Q1314285) (← links)
- A proof-theoretic investigation of a logic of positions (Q1408856) (← links)
- A survey of nonstandard sequent calculi (Q2259014) (← links)
- Nested sequents for intuitionistic logics (Q2443118) (← links)
- Logicality, double-line rules, and modalities (Q2631645) (← links)
- VALENTINI’S CUT-ELIMINATION FOR PROVABILITY LOGIC RESOLVED (Q2890695) (← links)
- European Summer Meeting of the Association for Symbolic Logic, Hull, 1986 (Q3030791) (← links)
- LINEAR TIME IN HYPERSEQUENT FRAMEWORK (Q5346691) (← links)
- A novel approach to equality (Q6142508) (← links)
