Handbook of Spatial Logics
From MaRDI portal
Publication:3511030
DOI10.1007/978-1-4020-5587-4zbMATH Open1172.03001OpenAlexW1879819495WikidataQ62709842 ScholiaQ62709842MaRDI QIDQ3511030
Author name not available (Why is that?)
Publication date: 4 July 2008
Full work available at URL: https://doi.org/10.1007/978-1-4020-5587-4
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)
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional 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?)
- Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces
- Observational Effort and Formally Open Mappings
- On the strength of some topological lattices
- Extension Properties of Boolean Contact Algebras
- Computing distributed knowledge as the greatest lower bound of knowledge
- Spatial Logic and Spatial Model Checking for Closure Spaces
- 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
- 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
- Topological Evidence Logics: Multi-agent Setting
- Topological models of columnar vagueness
- 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
- Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality
- A Spatial Logic for Simplicial Models
- Geographic wayfinders and space-time algebra
- Analysing Spatial Properties on Neighbourhood Spaces
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION
- Topological product of modal logics with the McKinsey axiom
- A spatial logic with time and quantifiers
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω
- Augmenting Subset Spaces to Cope with Multi-agent Knowledge
- 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
- Some Formal Semantics for Epistemic Modesty
- 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
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators
- Alternative Semantics for Visser’s Propositional Logics
- Default consequence relations from topology and measure theory
- Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures
- Topological Relations Between Bipolar Fuzzy Sets Based on Mathematical Morphology
- Discrete Mereotopology
- 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
- 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?
- Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology
- A topological approach to full belief
- Fuzzy sets for image processing and understanding
- The logic of empirical theories revisited
- 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
- KRULL DIMENSION IN MODAL LOGIC
- 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?)
- Title not available (Why is that?)
- Contact join-semilattices
- 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
- 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
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)
