Axiomatizing Distance Logics

References

• CHAGROV , A. and ZAKHARYASCHEV , M. 1997 . “ Modal Logic ” . In Num. 35 Oxford Logic Guides , Oxford : Clarendon Press .
   Google Scholar
• GARGOV , G. , PASSY , S. and TINCHEV , T. Modal environment for Boolean speculations . Mathematical Logic and its Applications. Proceedings of the Summer School and Conference dedicated to the 80th Anniversary of Kurt Gödel, Druzhba, 1986 . Edited by: SKORDEV , D. pp. 253 – 263 . New York : Plenum Press .
   Google Scholar
• GORANKO , V. 1990 . “ Completeness and incompleteness in the bimodal base ℒ(R,−R) ” . In Mathematical Logic , Edited by: PETKOV , P. 311 – 326 . New York : Plenum Press .
   Google Scholar
• GORANKO , V. and PASSY , S. 1992 . Using the universal modality . Journal of Logic and Computation , 2 : 203 – 233 .
   Google Scholar
• KUTZ , O. , WOLTER , F. and ZAKHARYASCHEV , M. Connecting abstract description systems . Proceedings of the 8th Conference on Principles of Knowledge Representation and Reasoning (KR 2002) . pp. 215 – 226 . Morgan Kaufmann .
   Google Scholar
• KUTZ , O. , STURM , H. , SUZUKI , N.-Y. , WOLTER , F. and ZAKHARYASCHEV , M. 2003 . Logics of metric spaces . ACM Transactions on Computational Logic (TOCL) , 4 To appear
   Google Scholar
• DE RIJKE , M. 1990 . The modal logic of inequality . Journal of Symbolic Logic , 57 : 566 – 584 .
   Web of Science ®Google Scholar
• STURM , H. , SUZUKI , N.-Y. , WOLTER , F. and ZAKHARYASCHEV , M. 2000 . Semi-qualitative reasoning about distances: A preliminary report . Logics in Artificial Intelligence. Proceedings of JELIA 2000, Malaga, Spain . 2000 , Berlin . pp. 37 – 56 . Springer .
   Google Scholar
• WOLTER , F. and ZAKHARYASCHEV , M. 2000 . Spatio-temporal representation and reasoning based on RCC-8 . Proc. of the 7th Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), USA . 2000 , Montreal , Canada. pp. 3 – 14 . Morgan Kaufman .
   Google Scholar