Modal logics for mereotopological relations
From MaRDI portal
Publication:3085170
Recommendations
- On the decidability of axiomatized mereotopological theories
- Dynamic relational mereotopology: logics for stable and unstable relations
- Modal Logics of Topological Relations
- Logics for stable and unstable mereological relations
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
Cited in
(13)- scientific article; zbMATH DE number 2099412 (Why is no real title available?)
- Dynamic relational mereotopology: logics for stable and unstable relations
- MEREOLOGICAL BIMODAL LOGICS
- Mereocompactness and Duality for Mereotopological Spaces
- scientific article; zbMATH DE number 7454909 (Why is no real title available?)
- What is nominalistic mereology?
- Modal logics with functional alternative relations
- Logics for stable and unstable mereological relations
- Modal logics with relative accessibility relations
- Distributive mereotopology: extended distributive contact lattices
- scientific article; zbMATH DE number 166117 (Why is no real title available?)
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
- The logic of discrete qualitative relations
This page was built for publication: Modal logics for mereotopological relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3085170)
