Pages that link to "Item:Q5013620"
From MaRDI portal
The following pages link to Sequent Calculi and Interpolation for Non-Normal Modal and Deontic Logics (Q5013620):
Displaying 4 items.
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
