Аннотация:We consider propositional modal logic with two modal operators. In topological semantics the former is interpreted as an interior operator and the latter as the difference. We show that some important topological properties are expressible in this language. In addition, we present a few logics and proofs of the FMP and of completeness theorems. URL: http://aiml.net/volumes/volume6/Kudinov.ps