You currently have no access to view or download this content. Please log in with your institutional or personal account if you should have access to this content through either of these.
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