15 citations · 17 across the 4 of their papers we have counts for
5 papers · 1 filter
Canonicity in power and modal logics of finite achronal width
Robert Goldblatt, Ian Hodkinson
We develop a method for showing that various modal logics that are valid in their countably generated canonical Kripke frames must also be valid in their uncountably generated ones…
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…
Tangled Closure Algebras
Robert Goldblatt, Ian Hodkinson
The tangled closure of a collection of subsets of a topological space is the largest subset in which each member of the collection is dense. This operation models a logical `tangle…
Spatial logic of modal mu-calculus and tangled closure operators
Robert Goldblatt, Ian Hodkinson
There has been renewed interest in recent years in McKinsey and Tarski's interpretation of modal logic in topological spaces and their proof that S4 is the logic of any separable d…
Bare canonicity of representable cylindric and polyadic algebras
Jannis Bulian, Ian Hodkinson
We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadi…