3 citations · 11 across the 10 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
math.LO2019★ 1 cited
Modal Logics that Bound the Circumference of Transitive Frames
Robert Goldblatt
For each natural number we study the modal logic determined by the class of transitive Kripke frames in which there are no cycles of length greater than and no strictly asc…
math.LO2019★ 1 cited
Strong completeness of modal logics over 0-dimensional metric spaces
Robert Goldblatt, Ian Hodkinson
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric sp…
math.LO2019★ 3 cited
Morphisms and Duality for Polarities and Lattices with Operators
Robert Goldblatt
Structures based on polarities have been used to provide relational semantics for propositional logics that are modelled algebraically by non-distributive lattices with additional…