The following pages link to Handbook of Spatial Logics (Q3511030):
Displaying 50 items.
- A bi-intuitionistic modal logic: foundations and automation (Q299186) (← links)
- Logic for physical space. From antiquity to present day (Q382998) (← links)
- The logic of empirical theories revisited (Q383008) (← links)
- Discrete dualities for some algebras with relations (Q406447) (← links)
- Reasoning about visibility (Q420853) (← links)
- An induction principle for consequence in arithmetic universes (Q456884) (← links)
- Some topological properties of paraconsistent models (Q484905) (← links)
- Qualitative constraint satisfaction problems: an extended framework with landmarks (Q490417) (← links)
- Distributive mereotopology: extended distributive contact lattices (Q505967) (← links)
- On the role of complete lattices in mathematical morphology: from tool to uncertainty model (Q545329) (← links)
- Lattices of fuzzy sets and bipolar fuzzy sets, and mathematical morphology (Q545330) (← links)
- A de Vries-type duality theorem for the category of locally compact spaces and continuous maps. I (Q626042) (← links)
- A modal logic framework for reasoning about comparative distances and topology (Q636293) (← links)
- Dynamic topological logic interpreted over minimal systems (Q766293) (← links)
- Using hybrid logic for coping with functions in subset spaces (Q965902) (← links)
- A canonical topological model for extensions of K4 (Q969431) (← links)
- Some generalizations of Fedorchuk duality theorem-I (Q1005168) (← links)
- The connected Vietoris powerlocale (Q1030196) (← links)
- Tarski's theorem on intuitionistic logic, for polyhedra (Q1706265) (← links)
- Correspondence between Kripke frames and projective geometries (Q1708104) (← links)
- Belief revision, minimal change and relaxation: A general framework based on satisfaction systems, and applications to description logics (Q1748473) (← links)
- A tutorial on well-composedness (Q1799490) (← links)
- Mathematical morphology on bipolar fuzzy sets: general algebraic framework (Q1951291) (← links)
- Reusing topological nexttime logic (Q2027210) (← links)
- Reasoning about distributed information with infinitely many agents (Q2043805) (← links)
- So, what exactly is a qualitative calculus? (Q2046028) (← links)
- Modeling imprecise and bipolar algebraic and topological relations using morphological dilations (Q2054414) (← links)
- An abstract theory of physical measurements (Q2062513) (← links)
- Contact join-semilattices (Q2082255) (← links)
- Default consequence relations from topology and measure theory (Q2122773) (← links)
- Computational analysis of musical structures based on morphological filters (Q2165170) (← links)
- Extensions of dualities and a new approach to the Fedorchuk duality (Q2217245) (← links)
- Acyclic orders, partition schemes and CSPs: unified hardness proofs and improved algorithms (Q2238592) (← links)
- Robust similarity between hypergraphs based on valuations and mathematical morphology operators (Q2255814) (← links)
- Intensional protocols for dynamic epistemic logic (Q2295601) (← links)
- Extended contact algebras and internal connectedness (Q2307301) (← links)
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I (Q2342312) (← links)
- Symmetric Heyting relation algebras with applications to hypergraphs (Q2347914) (← links)
- Fuzzy sets for image processing and understanding (Q2397886) (← links)
- Commonsense reasoning about containers using radically incomplete information (Q2407460) (← links)
- A topological approach to full belief (Q2421518) (← links)
- Geographic wayfinders and space-time algebra (Q2423755) (← links)
- A Grim semantics for logics of belief (Q2481242) (← links)
- Three-dimensional affine spatial logics (Q2688870) (← links)
- Computing distributed knowledge as the greatest lower bound of knowledge (Q2695370) (← links)
- Finite model property in weakly transitive tense logics (Q2698279) (← links)
- Mathematical Morphology on Soft Sets for Application to Metabolic Networks (Q2808077) (← links)
- Evolution of Region Connection Calculus to VRCC-3D+ (Q2815559) (← links)
- Spatial Logic and Spatial Model Checking for Closure Spaces (Q2822664) (← links)
- Logics for multi-subset spaces (Q2901196) (← links)
