Corpus ID: 237490822

Taming the `elsewhere': On expressivity of topological languages

@inproceedings{FernandezDuque2021TamingT,
  title={Taming the `elsewhere': On expressivity of topological languages},
  author={David Fern'andez-Duque},
  year={2021}
}
In topological modal logic, it is well known that the Cantor derivative is more expressive than the topological closure, and the ‘elsewhere,’ or ‘difference,’ operator is more expressive than the ‘somewhere’ operator. In 2014, Kudinov and Shehtman asked whether the combination of closure and elsewhere becomes strictly more expressive when adding the Cantor derivative. In this paper we give an affirmative answer: in fact, the Cantor derivative alone can define properties of topological spaces… Expand

Figures from this paper

References

SHOWING 1-10 OF 19 REFERENCES
Some Results on Modal Axiomatization and Definability for Topological Spaces
TLDR
It is demonstrated that the d-semantics is more expressive than the C-semantic, and it is shown that the D-logics of the six classes of spaces considered in the paper are pairwise distinct, while the C's of some of them coincide. Expand
“Everywhere” and “Here”.
The paper studies propositional logics in a bimodal language, in which the first modality is interpreted as the local truth, and the second as tl1e universal truth. The logic S4UC is introduced,Expand
Modal definability in topology
This thesis is mainly concerned with the definability issue when modal logic is interpreted on topological spaces. A topological analogon of Goldblatt-Thomason theorem is proved. Some new topologicalExpand
Infinitary Combinatorics and Modal Logic
  • A. Blass
  • Mathematics, Computer Science
  • J. Symb. Log.
  • 1990
We show that the modal propositional logic G , originally introduced to describe the modality “it is provable that”, is also sound for various interpretations using filters on ordinal numbers, forExpand
Derivational Modal Logics with the Difference Modality
In this chapter we study modal logics of topological spaces in the combined language with the derivational modality and the dierence modality. We give axiomatizations and prove completeness for theExpand
Topological Modal Logics with Difference Modality
TLDR
It is shown that some important topological properties are expressible in this language and a few logics and proofs of f.m.p. and of completeness theorems are presented. Expand
The d-logic of the real line
TLDR
It is shown that KD4G2.UC is the logic of the real line under d-semantics adjoined with the universal modality and has the finite model property (under Kripke semantics) for any n ≥ 2. Expand
Modal logic with names
TLDR
Every ℒc-logic axiomatized by formulae containing only names (but not propositional variables) is proved to be strongly frame-complete and strong completeness of the normal ℓc- logics is proved with respect to models in which all worlds are named. Expand
THE MODAL LOGIC OF STONE SPACES: DIAMOND AS DERIVATIVE
TLDR
If modal diamond is interpreted as the derived set operator of a topological space, then the modal logic of Stone spaces is K4 and the modals of weakly scattered Stone spaces are K4G and K3G, and it is obtained that K4 is also the modAL logic of compact Hausdorff spaces. Expand
Spatial Reasoning in RCC-8 with Boolean Region Terms
TLDR
It is shown that the statisfiability problem for the extended language in arbitrary topological spaces is still in NP; however, it becomes PSPACE-complete if only the Euclidean spaces ℝn, n > 0, are regarded as possible interpretations. Expand
...
1
2
...