Axiomatizing Distance Logics

Journal of Applied Non-Classical Logics 12 (3-4):425-439 (2002)

Abstract
In [STU 00, KUT 03] we introduced a family of ‘modal' languages intended for talking about distances. These languages are interpreted in ‘distance spaces' which satisfy some of the standard axioms of metric spaces. Among other things, we singled out decidable logics of distance spaces and proved expressive completeness results relating classical and modal languages. The aim of this paper is to axiomatize the modal fragments of the semantically defined distance logics of [KUT 03] and give a new proof of their decidability.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.3166/jancl.12.425-439
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,636
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Notes on Logics of Metric Spaces.Oliver Kutz - 2007 - Studia Logica 85 (1):75-104.

Add more citations

Similar books and articles

Some Syntactical Properties of Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1990 - Notre Dame Journal of Formal Logic 31 (4):548-559.
Remark on a Finite Axiomatization of Finite Intermediate Propositional Logics.D. Skvortsov - 1999 - Journal of Applied Non-Classical Logics 9 (2-3):381-386.
Decidable Fragments of First-Order Temporal Logics.Ian Hodkinson, Frank Wolter & Michael Zakharyaschev - 2000 - Annals of Pure and Applied Logic 106 (1-3):85-134.

Analytics

Added to PP index
2014-01-21

Total views
22 ( #377,065 of 2,249,791 )

Recent downloads (6 months)
2 ( #794,839 of 2,249,791 )

How can I increase my downloads?

Downloads

My notes

Sign in to use this feature