Pages that link to "Item:Q1419386"
From MaRDI portal
The following pages link to Euclidean hierarchy in modal logic (Q1419386):
Displaying 13 items.
- Modal logics of Stone spaces (Q438813) (← links)
- Connected modal logics (Q535140) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- Scattered and hereditarily irresolvable spaces in modal logic (Q964455) (← links)
- The modal logic of \({\beta(\mathbb{N})}\) (Q1016504) (← links)
- On modal logics arising from scattered locally compact Hausdorff spaces (Q1731840) (← links)
- A ModalWalk Through Space (Q3647299) (← links)
- CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC (Q5000268) (← links)
- NON-WELL-FOUNDED PROOFS FOR THE GRZEGORCZYK MODAL LOGIC (Q5001550) (← links)
- MODAL LOGICS OF METRIC SPACES (Q5247348) (← links)
- TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE <b>S4</b> (Q5501770) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)