Showing a limited preview of this publication:
Abstract
The modal logic S4.3 defines the class of hereditarily extremally disconnected spaces (HED-spaces). We construct a countable HED-subspace X of the Gleason cover of the real closed unit interval [0,1] such that S4.3 is the logic of X.
Keywords: Modal logic; topological semantics; topological completeness; hereditarily extremally disconnected space
Received: 2015-7-6
Accepted: 2015-8-27
Published Online: 2015-10-20
Published in Print: 2015-12-1
© 2016 by De Gruyter