The following pages link to Handbook of Spatial Logics (Q3511030):
Displayed 44 items.
- Extension Properties of Boolean Contact Algebras (Q2915154) (← links)
- On Topologically Relevant Fragments of the Logic of Linear Flows of Time (Q2947457) (← links)
- Discrete Mereotopology (Q3295808) (← links)
- Mereocompactness and Duality for Mereotopological Spaces (Q3305432) (← links)
- Alternative Semantics for Visser’s Propositional Logics (Q3455192) (← links)
- The Lattice of Contact Relations on a Boolean Algebra (Q3498408) (← links)
- The modal logic of affine planes is not finitely axiomatisable (Q3617371) (← links)
- Observational Effort and Formally Open Mappings (Q3638284) (← links)
- A Decidable Spatial Logic with Cone-Shaped Cardinal Directions (Q3644762) (← links)
- (Q4553288) (← links)
- (Q4580320) (← links)
- Non-monotonic spatial reasoning with answer set programming modulo theories (Q4593084) (← links)
- KRULL DIMENSION IN MODAL LOGIC (Q4600458) (← links)
- On the strength of some topological lattices (Q4635374) (← links)
- Some Formal Semantics for Epistemic Modesty (Q5006835) (← links)
- (Q5015271) (← links)
- Dynamic Contact Algebras with a Predicate of Actual Existence: Snapshot Representation and Topological Duality (Q5027246) (← links)
- (Q5028457) (← links)
- Geometric Model Checking of Continuous Space (Q5060193) (← links)
- COMPLETELY SEPARABLE MAD FAMILIES AND THE MODAL LOGIC OF βω (Q5082052) (← links)
- On dimension andweight of a local contact algebra (Q5088152) (← links)
- Analysing Spatial Properties on Neighbourhood Spaces (Q5089239) (← links)
- (Q5093392) (← links)
- Counting and Computing Join-Endomorphisms in Lattices (Q5098726) (← links)
- Completeness of a functional system for surjective functions (Q5108132) (← links)
- Topological elementary equivalence of regular semi‐algebraic sets in three‐dimensional space (Q5109238) (← links)
- Target counting with Presburger constraints and its application in sensor networks (Q5160798) (← links)
- Logical dual concepts based on mathematical morphology in stratified institutions: applications to spatial reasoning (Q5243398) (← links)
- Topological Relations Between Bipolar Fuzzy Sets Based on Mathematical Morphology (Q5270531) (← links)
- Augmenting Subset Spaces to Cope with Multi-agent Knowledge (Q5283423) (← links)
- Logics for extended distributive contact lattices (Q5375878) (← links)
- Musical Descriptions Based on Formal Concept Analysis and Mathematical Morphology (Q5878817) (← links)
- A Logic of East and West (Q5881809) (← links)
- A dynamic logic for learning theory (Q5918210) (← links)
- Morphologic for knowledge dynamics: revision, fusion and abduction (Q6080572) (← links)
- Powerset operators induced by fuzzy relations as a basis for fuzzification of various mathematical structures (Q6099551) (← links)
- Fixed point logics and definable topological properties (Q6102992) (← links)
- POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION (Q6123585) (← links)
- Modal logic of generalized separated topological spaces (Q6132569) (← links)
- A Spatial Logic for Simplicial Models (Q6135777) (← links)
- Prototypes, poles, and tessellations: towards a topological theory of conceptual spaces (Q6142484) (← links)
- Formalising basic topology for computational logic in simple type theory (Q6159367) (← links)
- Minimisation of spatial models using branching bisimilarity (Q6174538) (← links)
- Some further results on pointfree convex geometry (Q6193270) (← links)