Searching for "Logics of metric spaces." – sorted by Relevance.
10 documents found, showing 1 through 10.
-
Logics of Metric Spaces
- …Logics of metric spaces OLIVER KUTZ and FRANK WOLTER Universitat Leipzig HOLGER STURM Universitat…
- Cited by 20 (18 self) – Add To MetaCart
-
Modal logics for metric spaces: Open problems
- … Modal logics for metric spaces: open problems Agi Kurucz1, Frank Wolter2, and Michael…
- Cited by 1 (1 self) – Add To MetaCart
-
From topology to metric: modal logic and quantification in metric spaces
- …From topology to metric: modal logic and quantification in metric spaces M. Sheremet, D…
- Cited by 3 (3 self) – Add To MetaCart
-
A Logic for Metric and Topology
- … a logic for reasoning about metric spaces with the induced topologies. It combines the ‘qualitative…
- Cited by 10 (10 self) – Add To MetaCart
-
Reasoning about distances
- … quantifiers without witnesses. According to the next result, the logic of metric spaces introduced above has…
- Cited by 17 (13 self) – Add To MetaCart
-
Semi-Qualitative Reasoning About Distances: A Preliminary Report
- … of metric spaces All the logics of metric spaces to be introduced in this section are based…
- Cited by 10 (7 self) – Add To MetaCart
-
Solving Recursive Domain Equations with Enriched Categories
- … and (generalized) metric spaces in a [0, c]-valued logic. In the cases where the classifier is a complete Heyting…
- Cited by 12 (0 self) – Add To MetaCart
-
A Tableau Algorithm for Reasoning about Concepts and Similarity
- … TBoxes [5], and { the logic MS [13] for reasoning about metric spaces 4 in order to achieve…
- Cited by 16 (10 self) – Add To MetaCart
-
Geometric phases and related structures
- …~~~~ed with the distance distg the cone of ~os~t~~le &near ~0~s is a8 co~,~~ete topo- logical metric space. Its deter…
- Cited by 1 (1 self) – Add To MetaCart
-
Connecting Description Systems
- … : t ] which have no analogs in S4 u . (3) The logic of metric spaces MS of [31, 21] 1 consists of terms…
- Add To MetaCart
Showing 1 through 10.
