Pages that link to "Item:Q1840651"
From MaRDI portal
The following pages link to Sequent calculi and decision procedures for weak modal systems (Q1840651):
Displaying 13 items.
- Intuitionistic non-normal modal logics: a general framework (Q829826) (← links)
- Let Us investigate! Dynamic conjecture-making as the formal logic of abduction (Q1633231) (← links)
- Sequent systems for negative modalities (Q1682296) (← links)
- Explicit non-normal modal logic (Q2148779) (← 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)
- Modular sequent calculi for classical modal logics (Q2350219) (← 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)
- HYPNO: Theorem Proving with Hypersequent Calculi for Non-normal Modal Logics (System Description) (Q5049016) (← 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)
