Strong completeness of modal logics over 0-dimensional metric spaces

DOI10.1017/S1755020319000534zbMATH Open1485.03049arXiv1905.03477OpenAlexW3105743010MaRDI QIDQ5117595FDOQ5117595

Authors: Robert Goldblatt, Ian Hodkinson 

Publication date: 26 August 2020

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

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.

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

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

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)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Introduction to Boolean Algebras
• Paracompactness and product spaces
• Minimally generated Boolean algebras
• Title not available (Why is that?)
• Title not available (Why is that?)
• Some theorems about the sentential calculi of Lewis and Heyting
• The algebra of topology
• Title not available (Why is that?)
• Strong completeness of S4 for any dense-in-itself metric space
• Topological Modal Logics with Difference Modality
• Title not available (Why is that?)
• Spatial logic of tangled closure operators and modal mu-calculus
• Derivational modal logics with the difference modality
• Topological model theory
• Modal logics of metric spaces
• The finite model property for logics with the tangle modality

Cited In (4)

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

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)