# 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

#### References

SHOWING 1-10 OF 19 REFERENCES

Some Results on Modal Axiomatization and Definability for Topological Spaces

- Mathematics, Computer Science
- Stud Logica
- 2005

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”.

- Computer Science
- 1999

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

- Mathematics
- 2001

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 topological… Expand

Infinitary Combinatorics and Modal Logic

- 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, for… Expand

Derivational Modal Logics with the Difference Modality

- Mathematics
- 2014

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 the… Expand

Topological Modal Logics with Difference Modality

- Mathematics, Computer Science
- 2010

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

- Mathematics, Computer Science
- J. Log. Comput.
- 2013

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

- Mathematics, Computer Science
- J. Philos. Log.
- 1993

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

- Computer Science, Mathematics
- The Review of Symbolic Logic
- 2010

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

- Computer Science
- ECAI
- 2000

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