scientific article; zbMATH DE number 5241969
From MaRDI portal
Publication:5445158
Recommendations
- Modal Logics of Regions and Minkowski Spacetime
- scientific article; zbMATH DE number 877746
- A modal logic for subject-oriented spatial reasoning
- Reasoning About Space: The Modal Way
- A spatial modal logic with a location interpretation
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Modal logics based on mathematical morphology for qualitative spatial reasoning
- A modal and relevance logic for qualitative spatial reasoning
- Dynamic logics of the region-based theory of discrete spaces
- scientific article; zbMATH DE number 1487806
Cited in
(31)- A note on the modal and temporal logics for \(n\)-dimensional spacetime
- Hypercontact semilattices
- A system of relational syllogistic incorporating full Boolean reasoning
- Dynamic logics of the region-based theory of discrete spaces
- Dynamic contact algebras and quantifier-free logics for space and time
- scientific article; zbMATH DE number 877746 (Why is no real title available?)
- Admissibility and Unifiability in Contact Logics
- A new modal logic for reasoning about space: spatial propositional neighborhood logic
- Region-based theory of space: algebras of regions, representation theory, and logics
- Boolean logics with relations
- Logics for extended distributive contact lattices
- A strict implication calculus for compact Hausdorff spaces
- Rational region-based affine logic of the real plane
- What is nominalistic mereology?
- A calculus of regions respecting both measure and topology
- Boolean Logics with Relations
- Logics for contact and measure
- Logics for contact and measure
- A calculus for modal compact Hausdorff spaces
- Deterministic SQEMA and application for pre-contact logic
- Valueless measures on pointless spaces
- Logics for stable and unstable mereological relations
- Topology and measure in logics for region-based theories of space
- Contact join-semilattices
- Distributive mereotopology: extended distributive contact lattices
- Subordinations on bounded distributive lattices
- Relational representation theorems for extended contact algebras
- Admissibility of \(\Pi_2\)-inference rules: interpolation, model completion, and contact algebras
- Extended contact algebras and internal connectedness
- Contact logic is finitary for unification with constants
- Dynamic mereotopology. III: Whiteheadean type of integrated point-free theories of space and time. I
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5445158)
