TY  - JOUR
AU  - A. V. Kudinov
TI  - Topological modal logic of $\mathbb R$ with inequality
JO  - Trudy Matematicheskogo Instituta imeni V.A. Steklova
PY  - 2008
SP  - 163
EP  - 165
VL  - 63
IS  - 1
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/RM_2008_63_1_a6/
LA  - en
ID  - RM_2008_63_1_a6
ER  -