Logics for stable and unstable mereological relations

DOI10.2478/S11533-011-0094-ZzbMATH Open1242.03026OpenAlexW1982761000MaRDI QIDQ651278FDOQ651278

Vladislav Nenchev

Publication date: 12 December 2011

Published in: Central European Journal of Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2478/s11533-011-0094-z

Recommendations

• Dynamic relational mereotopology: logics for stable and unstable relations
• Modal logics for mereotopological relations
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Mereological relations
• Mereology

zbMATH Keywords

first-order logicmodal logicrepresentation theorymereologyhereditary undecidabilityquantifier-free fragmentstable relationunstable relation

Mathematics Subject Classification ID

Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Modal logic (including the logic of norms) (03B45) Classical first-order logic (03B10) Decidability of theories and sets of sentences (03B25) Foundations of classical theories (including reverse mathematics) (03B30)

Cites Work

• Modal logic
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Adding a temporal dimension to a logic system
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Title not available (Why is that?)
• Title not available (Why is that?)
• Modal Logics of Topological Relations
• A modal approach to dynamic ontology: modal mereotopology

Cited In (2)

• Stability and General Logics
• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III

This page was built for publication: Logics for stable and unstable mereological relations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q651278)