Modal logics for mereotopological relations
From MaRDI portal
Publication:3085170
zbMATH Open1244.03069MaRDI QIDQ3085170FDOQ3085170
Yavor Nenov, Dimiter Vakarelov
Publication date: 30 March 2011
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 (11)
- Title not available (Why is that?)
- MEREOLOGICAL BIMODAL LOGICS
- Mereocompactness and Duality for Mereotopological Spaces
- Title not available (Why is that?)
- What is nominalistic mereology?
- Modal logics with functional alternative relations
- Modal logics with relative accessibility relations
- Logics for stable and unstable mereological relations
- Title not available (Why is that?)
- Distributive mereotopology: extended distributive contact lattices
- Mereotopology in 2nd-order and modal extensions of intuitionistic propositional logic
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)
