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 |
Mark as duplicate
Export citation
Request removal from index
|
Download options
PhilArchive copy
Upload a copy of this paper Check publisher's policy Papers currently archived: 70,163
External links
- From the Publisher via CrossRef (no proxy)
- citeseerx.ist.psu.edu
(no proxy) - citeseerx.ist.psu.edu [2] (no proxy)
- dx.doi.org (no proxy)
- tandfonline.com (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
No references found.
Citations of this work BETA
Ontological Modelling of Form and Function for Architectural Design.Mehul Bhatt, Joana Hois & Oliver Kutz - 2012 - Applied ontology 7 (3):233-267.
Similar books and articles
Halldén-Completeness in Super-Intuitionistic Predicate Logics.Nobu-Yuki Suzuki - 2003 - Studia Logica 73 (1):113 - 130.
Axiomatizing the Monodic Fragment of First-Order Temporal Logic.Frank Wolter & Michael Zakharyaschev - 2002 - Annals of Pure and Applied Logic 118 (1-2):133-145.
An Algebraic Approach to Intuitionistic Modal Logics in Connection with Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1989 - Studia Logica 48 (2):141 - 155.
Kripke Bundles for Intermediate Predicate Logics and Kripke Frames for Intuitionistic Modal Logics.Nobu-Yuki Suzuki - 1990 - Studia Logica 49 (3):289-306.
Some Syntactical Properties of Intermediate Predicate Logics.Nobu-Yuki Suzuki - 1990 - Notre Dame Journal of Formal Logic 31 (4):548-559.
A Remark on Super-Intuitionistic Predicate Logics Having the Same Propositional Fragment.Nobu-Yuki Suzuki - 1999 - Bulletin of the Section of Logic 28 (2):107-115.
Constructing a Continuum of Predicate Extensions of Each Intermediate Propositional Logic.Nobu-Yuki Suzuki - 1995 - Studia Logica 54 (2):173 - 198.
Some Superintuitionistic Logics as the Logical Fragments of Equational Theories.Tatsuya Shimura & Nobu-Yuki Suzuki - 1993 - Bulletin of the Section of Logic 22:106-112.
Completeness and Decidability of Tense Logics Closely Related to Logics Above K.Frank Wolter - 1997 - Journal of Symbolic Logic 62 (1):131-158.
Products of 'Transitive' Modal Logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
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
28 ( #408,344 of 2,506,852 )
Recent downloads (6 months)
2 ( #277,244 of 2,506,852 )
2014-01-21
Total views
28 ( #408,344 of 2,506,852 )
Recent downloads (6 months)
2 ( #277,244 of 2,506,852 )
How can I increase my downloads?
Downloads
