The following pages link to (Q4424659):
Displaying 14 items.
- Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191) (← links)
- Foreword to the special issue dedicated to the memory of Leo Esakia (Q454392) (← links)
- Intuitionistic logic and modality via topology (Q598307) (← links)
- Simple weakly transitive modal algebras (Q619324) (← links)
- Interpolation in weakly transitive modal logics (Q694243) (← links)
- Some results on modal axiomatization and definability for topological spaces (Q817694) (← links)
- A canonical topological model for extensions of K4 (Q969431) (← links)
- More on \(d\)-logics of subspaces of the rational numbers (Q1762355) (← links)
- A topological approach to full belief (Q2421518) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- A Hybridization of Irreflexive Modal Logics (Q2867951) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- Modal Logics of Some Hereditarily Irresolvable Spaces (Q5027241) (← links)
- Decidability of Some Interpolation Properties for Weakly Transitive Modal Logics (Q5214737) (← links)