Strong completeness of modal logics over 0-dimensional metric spaces

DOI10.1017/S1755020319000534MaRDI QIDQ5117595zbMATH OpenOpenAlexFDO

Authors Robert Goldblatt, Ian Hodkinson

Publication date 26 August 2020

Published in The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1905.03477

zbMATH Keywords

Cantor setdifference modalityuniversal modalitygraded modalitiesdense in itselfcoderivative operator

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Metric spaces, metrizability (54E35)

Abstract: We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some languages and spaces, no standard modal deductive system is strongly complete.

Recommendations

• Strong completeness of S4 for any dense-in-itself metric space
• Modal logics of metric spaces
• scientific article; zbMATH DE number 5295723
• Spatial logic of tangled closure operators and modal mu-calculus
• scientific article; zbMATH DE number 1215471

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 42114 (Why is no real title available?)
• scientific article; zbMATH DE number 6863653 (Why is no real title available?)
• scientific article; zbMATH DE number 3286895 (Why is no real title available?)
• scientific article; zbMATH DE number 3326329 (Why is no real title available?)
• scientific article; zbMATH DE number 3198011 (Why is no real title available?)
• Derivational modal logics with the difference modality
• Introduction to Boolean Algebras
• Minimally generated Boolean algebras
• Modal logic
• Modal logics of metric spaces
• Paracompactness and product spaces
• Some theorems about the sentential calculi of Lewis and Heyting
• Spatial logic of tangled closure operators and modal mu-calculus
• Strong completeness of S4 for any dense-in-itself metric space
• The algebra of topology
• The finite model property for logics with the tangle modality
• Topological Modal Logics with Difference Modality
• Topological model theory

Cited in

(4)

• Quantified intuitionistic logic over metrizable spaces
• Tree-like constructions in topology and modal logic
• Strong completeness of S4 for any dense-in-itself metric space
• Completeness of Pledger’s modal logics of one-sorted projective and elliptic planes

This page was built for publication: Strong completeness of modal logics over 0-dimensional metric spaces

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