Logics for stable and unstable mereological relations

DOI10.2478/S11533-011-0094-ZzbMath1242.03026OpenAlexW1982761000MaRDI QIDQ651278

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

zbMATH Keywords

modal logicfirst-order logicrepresentation theorymereologyhereditary undecidabilityquantifier-free fragmentstable relationunstable relation

Mathematics Subject Classification ID

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

Related Items (1)

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

Cites Work

• Adding a temporal dimension to a logic system
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• A modal approach to dynamic ontology: modal mereotopology
• Modal Logics of Topological Relations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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