3 citations · 11 across the 10 of their papers we have counts for
4 papers · 1 filter
Cover Systems for the Modalities of Linear Logic
Robert Goldblatt
Ono's modal FL-algebras are models of an extension of Full Lambek logic that has the modalities ! and ? of linear logic. Here we define a notion of modal FL-cover system that combi…
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…
Fine's Theorem on First-Order Complete Modal Logics
Robert Goldblatt
Fine's influential Canonicity Theorem states that if a modal logic is determined by a first-order definable class of Kripke frames, then it is valid in its canonical frames. This a…
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…