The following pages link to (Q3105688):
Displaying 12 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Explicit non-normal modal logic (Q2148779) (← links)
- Lyndon interpolation theorem of instantial neighborhood logic-constructively via a sequent calculus (Q2334111) (← links)
- Modular sequent calculi for classical modal logics (Q2350219) (← links)
- Non-normal modal logics and conditional logics: semantic analysis and proof theory (Q2672662) (← links)
- Admissibility and Unifiability in Contact Logics (Q3455182) (← links)
- On Constructive Cut Admissibility in Deduction Modulo (Q3612434) (← links)
- (Q3800028) (← links)
- Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
