%0 Conference Paper %1 Sheremet2006 %A Sheremet, Mikhail %A Tishkovsky, Dmitry %A Wolter, Frank %A Zakharyaschev, Michael %B Advances in Modal Logic %D 2006 %K %P 429-448 %T From topology to metric: modal logic and quantification in metric spaces

@inproceedings{Sheremet2006, added-at = {2012-07-01T20:42:54.000+0200}, author = {Sheremet, Mikhail and Tishkovsky, Dmitry and Wolter, Frank and Zakharyaschev, Michael}, bibsource = {DBLP, http://dblp.uni-trier.de}, biburl = {https://www.bibsonomy.org/bibtex/21104899513bcd65589b114a315788e49/ralenda}, booktitle = {Advances in Modal Logic}, crossref = {AIML2006}, ee = {http://www.aiml.net/volumes/volume6/Sheremet-Tishkovsky-Wolter-Zakharyaschev.ps}, file = {Sheremet2006-TopologyToMetric2006.pdf:DistanceLogics/Sheremet2006-TopologyToMetric2006.pdf:PDF}, groups = {public}, interhash = {48524b318c42cf9eed68d1d183f26b7d}, intrahash = {1104899513bcd65589b114a315788e49}, keywords = {}, pages = {429-448}, timestamp = {2012-07-01T20:42:54.000+0200}, title = {From topology to metric: modal logic and quantification in metric spaces}, username = {ralenda}, year = 2006 }