Pages that link to "Item:Q2354625"
From MaRDI portal
The following pages link to Halldén completeness for relevant modal logics (Q2354625):
Displaying 5 items.
- A Sahlqvist theorem for relevant modal logics (Q1810815) (← links)
- Halldén-completeness in super-intuitionistic predicate logics (Q1868242) (← links)
- Neighbourhood semantics for modal relevant logics (Q2686089) (← links)
- On Halldén completeness of modal logics determined by homogeneous Kripke frames (Q2810126) (← links)
- Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes (Q5019118) (← links)