S4 is Topologically Complete for (0,1): a Short Proof

DOI10.1093/JIGPAL/JZK004zbMATH Open1112.03016OpenAlexW2022597673MaRDI QIDQ5479024

G. Mints

Publication date: 6 July 2006

Published in: Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/jigpal/jzk004

zbMATH Keywords

modal logiccompletenesstopological models

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Related Items (2)

On Dynamic Topological Logic of the Real Line ⋮ The modal logic of continuous functions on the rational numbers

This page was built for publication: S4 is Topologically Complete for (0,1): a Short Proof

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5479024)