Modal logic with the difference modality of topological T₀-spaces

Abstract: The aim of the paper is to study the topological modal logic of

T_{0}

spaces, with the difference modality (for

T_{n}

, where

n g e q 1

the corresponding logics were known). We consider propositional modal logic with two modal operators

s q u a r e

and

[e]

.

s q u a r e

is interpreted as an interior operator and

[e]

corresponds to the inequality relation. We introduce the logic

S 4 D T_{0}

and show that

S 4 D T_{0}

is the logic of all

T_{0}

spaces and has the finite model property.

This page was built for publication: Modal logic with the difference modality of topological $T_0$-spaces