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 logichereditary undecidabilitymereologymodal logicquantifier-free fragmentrepresentation theorystable relationunstable relation

Mathematics Subject Classification ID

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

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

• 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
• 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?)
• Modal logic
• Modal logics for mereotopological relations
• Modal Logics of Topological Relations

Cited in

(4)

• Dynamic mereotopology. III: Whiteheadian type of integrated point-free theories of space and time. III
• Modal logics for mereotopological relations
• Stability and General Logics
• Dynamic relational mereotopology: logics for stable and unstable relations

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)