15 citations · 17 across the 4 of their papers we have counts for
Showing 2016 · math.LOShow all
2 papers · 2 filters
math.LO2016
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…
math.LO2016
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…