Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (Q453191)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP |
scientific article |
Statements
Subspaces of \(\mathbb{Q}\) whose d-logics do not have the FMP (English)
0 references
18 September 2012
0 references
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.
0 references
topological modal logic
0 references
d-semantics
0 references
finite model property
0 references
topological semantics
0 references
derived set operator
0 references
rational numbers
0 references