Pages that link to "Item:Q636293"
From MaRDI portal
The following pages link to A modal logic framework for reasoning about comparative distances and topology (Q636293):
Displayed 7 items.
- Logic of confidence (Q514597) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- Knowing-how under uncertainty (Q2289005) (← links)
- Preferential Semantics for the Logic of Comparative Similarity over Triangular and Metric Models (Q2915053) (← links)
- CSymLean: A Theorem Prover for the Logic CSL over Symmetric Minspaces (Q3010357) (← links)
- CSL-lean: A Theorem-prover for the Logic of Comparative Concept Similarity (Q3185758) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)