Pages that link to "Item:Q2537110"
From MaRDI portal
The following pages link to Certain extensions of modal system S4 (Q2537110):
Displaying 5 items.
- On superintuitionistic logics as fragments of proof logic extensions (Q1091383) (← links)
- Interpolation theorems in modal logics and amalgamable varieties of topological Boolean algebras (Q1150603) (← links)
- A second pretabular classical relevance logic (Q1708106) (← links)
- Four-Valued Logics BD and DM4: Expansions (Q4608553) (← links)
- Modal Logics that Bound the Circumference of Transitive Frames (Q5015972) (← links)
