Subspaces of Q whose d-logics do not have the FMP

DOI10.1007/S00153-012-0290-YMaRDI QIDQ453191zbMATH OpenOpenAlexFDO

Authors Guram Bezhanishvili, Joel Lucero-Bryan

Publication date 18 September 2012

Published in Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00153-012-0290-y

zbMATH Keywords

d-semanticsderived set operatorfinite model propertyrational numberstopological modal logictopological semantics

Mathematics Subject Classification ID

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

Review text

Giving meaning to modal formulas in topological spaces, the \(\lozenge\)-operator is usually interpreted by taking the closure. But there is another prominent interpretation, viz by taking the derivate. This leads to the so-called \textit{d-semantics} of topological modal logic. In the paper under review, the authors continue their previous work on d-logics by proving that there are uncountably many ones arising from subspaces of \(\mathbb{Q}\) but not satisfying the finite model property.

Recommendations

• More on \(d\)-logics of subspaces of the rational numbers
• Topological Modal Logics with Difference Modality
• The d-logic of the real line
• Some results on modal axiomatization and definability for topological spaces
• Spectral and \(T _{0}\)-spaces in d-semantics

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 1975416 (Why is no real title available?)
• Modal logic
• More on \(d\)-logics of subspaces of the rational numbers
• Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
• Some results on modal axiomatization and definability for topological spaces
• The algebra of topology
• The d-logic of the rational numbers: a fruitful construction

Cited in

(2)

• More on \(d\)-logics of subspaces of the rational numbers
• scientific article; zbMATH DE number 1907123 (Why is no real title available?)

This page was built for publication: Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP

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