Pages that link to "Item:Q1257012"
From MaRDI portal
The following pages link to A study of Kripke-type models for some modal logics by Gentzen's sequential method (Q1257012):
Displaying 7 items.
- Deep sequent systems for modal logic (Q834716) (← links)
- Display calculi and other modal calculi: a comparison (Q987468) (← links)
- A study of some tense logics by Gentzen's sequential method (Q1145691) (← links)
- A perspective on modal sequent logic (Q1187165) (← links)
- On some intuitionistic modal logics (Q1244216) (← links)
- Multicomponent proof-theoretic method for proving interpolation properties (Q1799040) (← links)
- SMALL INFINITARY EPISTEMIC LOGICS (Q5216976) (← links)
