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 8 items.
- Uniform Lyndon interpolation for basic non-normal modal logics (Q2148800) (← links)
- Countermodel construction via optimal hypersequent calculi for non-normal modal logics (Q2177577) (← links)
- Sequent Calculi for Multi-modal Logic with Interaction (Q2859100) (← links)
- Interpolation in Algebraizable Logics Semantics for Non-Normal Multi-Modal Logic (Q4236058) (← links)
- Hypersequent calculi for non-normal modal and deontic logics: countermodels and optimal complexity (Q5028311) (← links)
- Sequent calculi and interpolation for non-normal modal and deonticlogics (Q6316267) (← links)
- CoNP complexity for combinations of non-normal modal logics (Q6541159) (← links)
- Resolution calculi for non-normal modal logics (Q6541160) (← links)
