3 citations · 11 across the 10 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
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.LO2020
Modal Logics of Some Hereditarily Irresolvable Spaces
Robert Goldblatt
A topological space is \emph{hereditarily -irresolvable} if none of its subspaces can be partitioned into dense subsets, We use this notion to provide a topological semantic…