Handbook of Spatial Logics
From MaRDI portal
Publication:3511030
DOI10.1007/978-1-4020-5587-4zbMATH Open1172.03001OpenAlexW1879819495WikidataQ62709842 ScholiaQ62709842MaRDI QIDQ3511030FDOQ3511030
Authors:
Publication date: 4 July 2008
Full work available at URL: https://doi.org/10.1007/978-1-4020-5587-4
Recommendations
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)
Cited In (only showing first 100 items - show all)
- Using hybrid logic for coping with functions in subset spaces
- A tutorial on well-composedness
- Counting and Computing Join-Endomorphisms in Lattices
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Discrete dualities for some algebras with relations
- A canonical topological model for extensions of K4
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics
- On the role of complete lattices in mathematical morphology: from tool to uncertainty model
- Reasoning about visibility
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework
- Krull dimension in modal logic
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- Default consequence relations from topology and measure theory
- Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures
- 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
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning
- A bi-intuitionistic modal logic: foundations and automation
- Augmenting subset spaces to cope with multi-agent knowledge
- The connected Vietoris powerlocale
- Reusing topological nexttime logic
- Computational analysis of musical structures based on morphological filters
- A Grim semantics for logics of belief
- Mereocompactness and Duality for Mereotopological Spaces
- An abstract theory of physical measurements
- Logics for extended distributive contact lattices
- Intensional protocols for dynamic epistemic logic
- Reasoning about distributed information with infinitely many agents
- So, what exactly is a qualitative calculus?
- Some formal semantics for epistemic modesty
- Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
- A topological approach to full belief
- Topological relations between bipolar fuzzy sets based on mathematical morphology
- Fuzzy sets for image processing and understanding
- The logic of empirical theories revisited
- Modal Logics of Topological Relations
- 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
- Mathematical Morphology on Soft Sets for Application to Metabolic Networks
- Musical Descriptions Based on Formal Concept Analysis and Mathematical Morphology
- Some topological properties of paraconsistent models
- Some generalizations of Fedorchuk duality theorem-I
- Logics for multi-subset spaces
- The Lattice of Contact Relations on a Boolean Algebra
- Symmetric Heyting relation algebras with applications to hypergraphs
- Title not available (Why is that?)
- Title not available (Why is that?)
- Completeness of a functional system for surjective functions
- Title not available (Why is that?)
- Contact join-semilattices
- Alternative semantics for Visser's propositional logics
- Distributive mereotopology: extended distributive contact lattices
- Tarski's theorem on intuitionistic logic, for polyhedra
- Logic for physical space. From antiquity to present day
- Extended contact algebras and internal connectedness
- A dynamic logic for learning theory
- Correspondence between Kripke frames and projective geometries
- Discrete mereotopology
- A modal logic framework for reasoning about comparative distances and topology
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
- Minimisation of spatial models using branching bisimilarity
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions
- Geometric Model Checking of Continuous Space
- On dimension andweight of a local contact algebra
- Target counting with Presburger constraints and its application in sensor networks
- The modal logic of affine planes is not finitely axiomatisable
- Title not available (Why is that?)
- Spatial logic and spatial model checking for closure spaces
- Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces
- Observational Effort and Formally Open Mappings
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- Computing distributed knowledge as the greatest lower bound of knowledge
- Modal logic of generalized separated topological spaces
- A Logic of East and West
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Qualitative reasoning
- Topological elementary equivalence of regular semi-algebraic sets in three-dimensional space
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time
- Compositionality in context
- A class of lattices applicable to measurable sets and functions (modulo equality a.e.)
- Fixed point logics and definable topological properties
- Formalising basic topology for computational logic in simple type theory
- Evolution of region connection calculus to VRCC-3D+
- Some further results on pointfree convex geometry
- Morphologic for knowledge dynamics: revision, fusion and abduction
- On the strength of some topological lattices
- Topological Evidence Logics: Multi-agent Setting
- Topological models of columnar vagueness
- Logic, spatial algorithms and visual reasoning
- Three-dimensional affine spatial logics
- Commonsense reasoning about containers using radically incomplete information
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Finite model property in weakly transitive tense logics
- A Spatial Logic for Simplicial Models
- Geographic wayfinders and space-time algebra
- Analysing Spatial Properties on Neighbourhood Spaces
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)
