Pages that link to "Item:Q2350219"
From MaRDI portal
The following pages link to Modular sequent calculi for classical modal logics (Q2350219):
Displaying 5 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Labelled sequent calculi for Lewis' non-normal propositional modal logics (Q2243546) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
