Axiomatizing distance logics

Journal of Applied Non-Classical Logics

Volumn 12, Issue 3-4, 2002, Pages 425-439

  Kutz, Oliver ^a   Sturm, Holger ^a,b   Suzuki, Nobu Yuki ^a,b,c   Wolter, Frank ^a   Zakharyaschev, Michael ^a,b,c,d  

^a UNIVERSITY OF LEIPZIG   (Germany)

^b UNIVERSITY OF KONSTANZ   (Germany)

^c SHIZUOKA UNIVERSITY   (Japan)

^d KING'S COLLEGE LONDON   (United Kingdom)

Author keywords

Axiomatization; Metric space; Modal logic

Indexed keywords

EID: 1942456343     PISSN: 11663081     EISSN: 19585780     Source Type: Journal    
DOI: 10.3166/jancl.12.425-439     Document Type: Article

References (9)

1. [CHA 97] CHAGROV A., ZAKHARYASCHEV M., Modal Logic, Num. 35 Oxford Logic Guides, Clarendon Press, Oxford, 1997.
2. [GAR 87] GARGOV G., PASSY S., TINCHEV T., "Modal environment for Boolean speculations" SKORDEV D., Ed., Mathematical Logic and its Applications. Proceedings of the Summer School and Conference dedicated to the 80th Anniversary of Kurt Gödel, Druzhba, 1986, p. 253-263, Plenum Press, New York, 1987.
3. [GOR 90] GORANKO V., "Completeness and incompleteness in the bimodal base L(R,R)" PETKOV P., Ed., Mathematical Logic, p. 311-326, Plenum Press, New York, 1990.
4. [GOR 92] GORANKO V., PASSY S., "Using the universal modality" Journal of Logic and Computation, vol. 2, 1992, p. 203-233.
5. [KUT 02] KUTZ O., WOLTER F., ZAKHARYASCHEV M., "Connecting abstract description systems" Proceedings of the 8th Conference on Principles of Knowledge Representation and Reasoning (KR 2002), Morgan Kaufmann, 2002, p. 215-226.
6. [KUT 03] KUTZ O., STURM H., SUZUKI N.-Y., WOLTER F., ZAKHARYASCHEV M., "Logics of metric spaces" ACM Transactions on Computational Logic (TOCL), vol. 4, 2003, To appear.
7. [RIJ 90] DE RIJKE M., "The modal logic of inequality" Journal of Symbolic Logic, vol. 57, 1990, p. 566-584.
8. [STU 00] STURM H., SUZUKI N.-Y.,WOLTER F., ZAKHARYASCHEV M., "Semi-qualitative reasoning about distances: A preliminary report" Logics in Artificial Intelligence. Proceedings of JELIA 2000, Malaga, Spain, Berlin, 2000, Springer, p. 37-56.
9. [WOL 00] WOLTER F., ZAKHARYASCHEV M., "Spatio-temporal representation and reasoning based on RCC-8" Proc. of the 7th Conf. on Principles of Knowledge Representation and Reasoning (KR 2000), USA, Montreal, Canada, 2000, Morgan Kaufman, p. 3-14.