Handbook of Spatial Logics
From MaRDI portal
calculi for spatial reasoningcombining spatial and temporal logiccontact relations and algebrasdiscrete spatial modelsgeometric logicsimage processing and mathematical morphologylogic and relativitymereotopologymodal logics and topologyontologies for spatial reasoningspatial databasesspatial logic
General reference works (handbooks, dictionaries, bibliographies, etc.) pertaining to mathematical logic and foundations (03-00) Classical first-order logic (03B10) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Other applications of logic (03B80) Logical aspects of Boolean algebras (03G05) Categorical logic, topoi (03G30) Database theory (68P15) Logic in artificial intelligence (68T27) Computing methodologies for image processing (68U10)
Recommendations
Cited in
(only showing first 100 items - show all)- 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
- Logic, spatial algorithms and visual reasoning
- 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
- A bi-intuitionistic modal logic: foundations and automation
- 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
- 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
- Qualitative and quantitative monitoring of spatio-temporal properties with SSTL
- An induction principle for consequence in arithmetic universes
- scientific article; zbMATH DE number 6917935 (Why is no real title available?)
- Non-monotonic spatial reasoning with answer set programming modulo theories
- Krull dimension in modal logic
- On the strength of some topological lattices
- Some topological properties of paraconsistent models
- Qualitative constraint satisfaction problems: an extended framework with landmarks
- Some formal semantics for epistemic modesty
- scientific article; zbMATH DE number 7439733 (Why is no real title available?)
- Dynamic contact algebras with a predicate of actual existence: snapshot representation and topological duality
- A logic for monitoring dynamic networks of spatially-distributed cyber-physical systems
- Distributive mereotopology: extended distributive contact lattices
- Geometric Model Checking of Continuous Space
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- On dimension andweight of a local contact algebra
- Analysing Spatial Properties on Neighbourhood Spaces
- scientific article; zbMATH DE number 7563784 (Why is no real title available?)
- 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
- 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
- Modal Logics of Topological Relations
- Logics for 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
- Musical Descriptions Based on Formal Concept Analysis and Mathematical Morphology
- A Logic of East and West
- A dynamic logic for learning theory
- 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
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- 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 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
- Topological Evidence Logics: Multi-agent Setting
- On bisimilarity for polyhedral models and \texttt{SLCS}
- Topological product of modal logics with the McKinsey axiom
- A spatial logic with time and quantifiers
- Analysis of spatio-temporal properties of stochastic systems using TSTL
- Qualitative reasoning
- Compositionality in context
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)
