3 papers
math.LO2020
Completeness of Pledger's modal logics of one-sorted projective and elliptic planes
Robert Goldblatt
Ken Pledger devised a one-sorted approach to the incidence relation of plane geometries, using structures that also support models of propositional modal logic. He introduced a mod…
math.LO2019
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.LO2018
Definable operators on stable set lattices
Robert Goldblatt
A fundamental result from Boolean modal logic states that a first-order definable class of Kripke frames defines a logic that is validated by all of its canonical frames. We genera…