Pages that link to "Item:Q5028311"
From MaRDI portal
The following pages link to Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311):
Displaying 6 items.
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← 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)
- Non-normal Modal description logics (Q6545543) (← links)
- On the finite model property of non-normal modal logics (Q6562546) (← links)
