Logics for stable and unstable mereological relations

DOI10.2478/S11533-011-0094-ZMaRDI QIDQ651278zbMATH OpenOpenAlexFDO

Authors Vladislav Nenchev

Publication date 12 December 2011

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

Copyright license Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported

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

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)

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

Cites work

• scientific article; zbMATH DE number 1003731 (Why is no real title available?)
• scientific article; zbMATH DE number 3485746 (Why is no real title available?)
• scientific article; zbMATH DE number 3501559 (Why is no real title available?)
• scientific article; zbMATH DE number 1149443 (Why is no real title available?)
• scientific article; zbMATH DE number 5241969 (Why is no real title available?)
• A modal approach to dynamic ontology: modal mereotopology
• Adding a temporal dimension to a logic system
• Dynamic Mereotopology: A Point-free Theory of Changing Regions. I. Stable and unstable mereotopological relations
• Modal Logics of Topological Relations
• Modal logic
• Modal logics for mereotopological relations

Cited in

(4)

• Modal logics for mereotopological relations
• Dynamic relational mereotopology: logics for stable and unstable relations
• 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)