scientific article; zbMATH DE number 877746
From MaRDI portal
Publication:4877439
zbMath0843.03010MaRDI QIDQ4877439
Publication date: 15 August 1996
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
modal operatorsmulti-modal logicrepresentation of spatial information0-order modal logicsconvex-hull operator
Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Other applications of logic (03B80)
Related Items (13)
Subject-oriented spatial logic ⋮ Querying incomplete information in RDF with SPARQL ⋮ On topological consistency and realization ⋮ Carnap, Goguen, and the hyperontologies: logical pluralism and heterogeneous structuring in ontology design ⋮ The universal modality, the center of a Heyting algebra, and the Blok-Esakia theorem ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ A new modal logic for reasoning about space: spatial propositional neighborhood logic ⋮ Completeness of S4 with respect to the real line: revisited ⋮ An AGM-style belief revision mechanism for probabilistic spatio-temporal logics ⋮ A calculus of regions respecting both measure and topology ⋮ A proof system for contact relation algebras ⋮ Combining topological and size information for spatial reasoning ⋮ \({\mathcal E}\)-connections of abstract description systems
This page was built for publication:
