Handbook of Spatial Logics
From MaRDI portal
Publication:3511030
spatial databasesspatial logicmereotopologylogic and relativitycalculi for spatial reasoningcombining spatial and temporal logiccontact relations and algebrasdiscrete spatial modelsgeometric logicsimage processing and mathematical morphologymodal logics and topologyontologies for spatial reasoning
Computing methodologies for image processing (68U10) Modal logic (including the logic of norms) (03B45) Database theory (68P15) Logic in artificial intelligence (68T27) Classical first-order logic (03B10) Logic in computer science (03B70) Categorical logic, topoi (03G30) Logical aspects of Boolean algebras (03G05) Other applications of logic (03B80) General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00)
Recommendations
Cited in
(only showing first 100 items - show all)- Extension properties of Boolean contact algebras
- Topological product of modal logics with the McKinsey axiom
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- A spatial logic with time and quantifiers
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- Minimisation of spatial models using branching bisimilarity
- Geometric Model Checking of Continuous Space
- On dimension andweight of a local contact algebra
- The modal logic of affine planes is not finitely axiomatisable
- Target counting with Presburger constraints and its application in sensor networks
- Using hybrid logic for coping with functions in subset spaces
- A tutorial on well-composedness
- scientific article; zbMATH DE number 7563784 (Why is no real title available?)
- Discrete dualities for some algebras with relations
- Spatial logic and spatial model checking for closure spaces
- A canonical topological model for extensions of K4
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Counting and Computing Join-Endomorphisms in Lattices
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces
- On the role of complete lattices in mathematical morphology: from tool to uncertainty model
- Observational Effort and Formally Open Mappings
- Reasoning about visibility
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators
- Krull dimension in modal logic
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Default consequence relations from topology and measure theory
- An induction principle for consequence in arithmetic universes
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Extensions of dualities and a new approach to the Fedorchuk duality
- Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
- A bi-intuitionistic modal logic: foundations and automation
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- Computing distributed knowledge as the greatest lower bound of knowledge
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- The connected Vietoris powerlocale
- A Logic of East and West
- Modal logic of generalized separated topological spaces
- Augmenting subset spaces to cope with multi-agent knowledge
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Qualitative reasoning
- Reusing topological nexttime logic
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- Computational analysis of musical structures based on morphological filters
- A Grim semantics for logics of belief
- An abstract theory of physical measurements
- Mereocompactness and Duality for Mereotopological Spaces
- Compositionality in context
- Intensional protocols for dynamic epistemic logic
- A class of lattices applicable to measurable sets and functions (modulo equality a.e.)
- Logics for extended distributive contact lattices
- Fixed point logics and definable topological properties
- Reasoning about distributed information with infinitely many agents
- So, what exactly is a qualitative calculus?
- Formalising basic topology for computational logic in simple type theory
- Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
- Evolution of region connection calculus to VRCC-3D+
- Some formal semantics for epistemic modesty
- The logic of empirical theories revisited
- A topological approach to full belief
- Fuzzy sets for image processing and understanding
- Some further results on pointfree convex geometry
- Morphologic for knowledge dynamics: revision, fusion and abduction
- Topological relations between bipolar fuzzy sets based on mathematical morphology
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I
- Dynamic topological logic interpreted over minimal systems
- Modeling imprecise and bipolar algebraic and topological relations using morphological dilations
- Modal Logics of Topological Relations
- Mathematical Morphology on Soft Sets for Application to Metabolic Networks
- Some topological properties of paraconsistent models
- On the strength of some topological lattices
- Musical Descriptions Based on Formal Concept Analysis and Mathematical Morphology
- Some generalizations of Fedorchuk duality theorem-I
- Topological Evidence Logics: Multi-agent Setting
- Logics for multi-subset spaces
- Topological models of columnar vagueness
- The Lattice of Contact Relations on a Boolean Algebra
- Symmetric Heyting relation algebras with applications to hypergraphs
- Logic, spatial algorithms and visual reasoning
- Three-dimensional affine spatial logics
- scientific article; zbMATH DE number 6917935 (Why is no real title available?)
- Commonsense reasoning about containers using radically incomplete information
- scientific article; zbMATH DE number 7439733 (Why is no real title available?)
- Completeness of a functional system for surjective functions
- scientific article; zbMATH DE number 7471693 (Why is no real title available?)
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Tarski's theorem on intuitionistic logic, for polyhedra
- Alternative semantics for Visser's propositional logics
- Logic for physical space. From antiquity to present day
- Finite model property in weakly transitive tense logics
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Extended contact algebras and internal connectedness
- Geographic wayfinders and space-time algebra
- Correspondence between Kripke frames and projective geometries
- A Spatial Logic for Simplicial Models
This page was built for publication: Handbook of Spatial Logics
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3511030)
