Handbook of Spatial Logics

DOI10.1007/978-1-4020-5587-4zbMath1172.03001WikidataQ62709842 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

68P15: Database theory

68U10: Computing methodologies for image processing

03B45: Modal logic (including the logic of norms)

68T27: Logic in artificial intelligence

03B70: Logic in computer science

03G30: Categorical logic, topoi

03B10: Classical first-order logic

03G05: Logical aspects of Boolean algebras

03-00: General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations

03B80: Other applications of logic

Related Items

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