The following pages link to (Q4877439):
Displaying 13 items.
- Querying incomplete information in RDF with SPARQL (Q286403) (← links)
- The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem (Q636264) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Completeness of S4 with respect to the real line: revisited (Q705542) (← links)
- \({\mathcal E}\)-connections of abstract description systems (Q814594) (← links)
- Subject-oriented spatial logic (Q821569) (← links)
- On topological consistency and realization (Q850454) (← links)
- A proof system for contact relation algebras (Q1576385) (← links)
- Combining topological and size information for spatial reasoning (Q1605277) (← links)
- Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design (Q1931353) (← links)
- An AGM-style belief revision mechanism for probabilistic spatio-temporal logics (Q2269133) (← links)
- A calculus of regions respecting both measure and topology (Q2281314) (← links)
- A new modal logic for reasoning about space: spatial propositional neighborhood logic (Q2462632) (← links)
