Handbook of Spatial Logics

DOI10.1007/978-1-4020-5587-4zbMath1172.03001OpenAlexW1879819495WikidataQ62709842 ScholiaQ62709842MaRDI QIDQ3511030

No author found.

Publication date: 4 July 2008

Full work available at URL: https://doi.org/10.1007/978-1-4020-5587-4

spatial databases mereotopology spatial logic logic and relativity calculi for spatial reasoning combining spatial and temporal logic contact relations and algebras discrete spatial models geometric logics image processing and mathematical morphology modal logics and topology ontologies for spatial reasoning

Mathematics Subject Classification ID

Database theory (68P15) Computing methodologies for image processing (68U10) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logic in computer science (03B70) Categorical logic, topoi (03G30) Classical first-order logic (03B10) Logical aspects of Boolean algebras (03G05) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Other applications of logic (03B80)

Related Items (94)

A Logic of East and West ⋮ Default consequence relations from topology and measure theory ⋮ Augmenting Subset Spaces to Cope with Multi-agent Knowledge ⋮ A bi-intuitionistic modal logic: foundations and automation ⋮ Logics for multi-subset spaces ⋮ Alternative Semantics for Visser’s Propositional Logics ⋮ Geometric Model Checking of Continuous Space ⋮ Extension Properties of Boolean Contact Algebras ⋮ Fuzzy sets for image processing and understanding ⋮ Computational analysis of musical structures based on morphological filters ⋮ COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω ⋮ Commonsense reasoning about containers using radically incomplete information ⋮ On dimension andweight of a local contact algebra ⋮ Logic for physical space. From antiquity to present day ⋮ The logic of empirical theories revisited ⋮ On Topologically Relevant Fragments of the Logic of Linear Flows of Time ⋮ Counting and Computing Join-Endomorphisms in Lattices ⋮ The Lattice of Contact Relations on a Boolean Algebra ⋮ Non-monotonic spatial reasoning with answer set programming modulo theories ⋮ Morphologic for knowledge dynamics: revision, fusion and abduction ⋮ A topological approach to full belief ⋮ Discrete dualities for some algebras with relations ⋮ Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures ⋮ Fixed point logics and definable topological properties ⋮ Geographic wayfinders and space-time algebra ⋮ Completeness of a functional system for surjective functions ⋮ POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space ⋮ Modal logic of generalized separated topological spaces ⋮ A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I ⋮ A Spatial Logic for Simplicial Models ⋮ Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces ⋮ Formalising basic topology for computational logic in simple type theory ⋮ Reasoning about visibility ⋮ KRULL DIMENSION IN MODAL LOGIC ⋮ Minimisation of spatial models using branching bisimilarity ⋮ Three-dimensional affine spatial logics ⋮ Some further results on pointfree convex geometry ⋮ A modal logic framework for reasoning about comparative distances and topology ⋮ Computing distributed knowledge as the greatest lower bound of knowledge ⋮ Tarski's theorem on intuitionistic logic, for polyhedra ⋮ Mathematical morphology on bipolar fuzzy sets: general algebraic framework ⋮ Finite model property in weakly transitive tense logics ⋮ Correspondence between Kripke frames and projective geometries ⋮ Unnamed Item ⋮ Logics for extended distributive contact lattices ⋮ An induction principle for consequence in arithmetic universes ⋮ Extensions of dualities and a new approach to the Fedorchuk duality ⋮ Unnamed Item ⋮ Discrete Mereotopology ⋮ Some topological properties of paraconsistent models ⋮ On the strength of some topological lattices ⋮ Qualitative constraint satisfaction problems: an extended framework with landmarks ⋮ Mereocompactness and Duality for Mereotopological Spaces ⋮ Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms ⋮ Distributive mereotopology: extended distributive contact lattices ⋮ Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics ⋮ Target counting with Presburger constraints and its application in sensor networks ⋮ A Grim semantics for logics of belief ⋮ Robust similarity between hypergraphs based on valuations and mathematical morphology operators ⋮ Using hybrid logic for coping with functions in subset spaces ⋮ A canonical topological model for extensions of K4 ⋮ On the role of complete lattices in mathematical morphology: from tool to uncertainty model ⋮ Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology ⋮ Unnamed Item ⋮ Reusing topological nexttime logic ⋮ Unnamed Item ⋮ A dynamic logic for learning theory ⋮ The modal logic of affine planes is not finitely axiomatisable ⋮ A tutorial on well-composedness ⋮ Some generalizations of Fedorchuk duality theorem-I ⋮ Unnamed Item ⋮ Reasoning about distributed information with infinitely many agents ⋮ Mathematical Morphology on Soft Sets for Application to Metabolic Networks ⋮ Intensional protocols for dynamic epistemic logic ⋮ So, what exactly is a qualitative calculus? ⋮ Evolution of Region Connection Calculus to VRCC-3D+ ⋮ Modeling imprecise and bipolar algebraic and topological relations using morphological dilations ⋮ Extended contact algebras and internal connectedness ⋮ Spatial Logic and Spatial Model Checking for Closure Spaces ⋮ Observational Effort and Formally Open Mappings ⋮ Analysing Spatial Properties on Neighbourhood Spaces ⋮ An abstract theory of physical measurements ⋮ A Decidable Spatial Logic with Cone-Shaped Cardinal Directions ⋮ The connected Vietoris powerlocale ⋮ Dynamic topological logic interpreted over minimal systems ⋮ Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning ⋮ Contact join-semilattices ⋮ Some Formal Semantics for Epistemic Modesty ⋮ Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I ⋮ Symmetric Heyting relation algebras with applications to hypergraphs ⋮ Topological Relations Between Bipolar Fuzzy Sets Based on Mathematical Morphology ⋮ Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality ⋮ Musical Descriptions Based on Formal Concept Analysis and Mathematical Morphology

This page was built for publication: Handbook of Spatial Logics