Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic

DOI10.3166/jancl.12.495-525zbMath1185.03036OpenAlexW2071730540MaRDI QIDQ3647305

Paolo Torrini, Brandon Bennett, John G. Stell

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.12.495-525

zbMATH Keywords

topologymereologyspatial reasoningintermediate logics

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Computer graphics; computational geometry (digital and algorithmic aspects) (68U05) Intermediate logics (03B55) Generalities in topology (54A99)

Related Items

MEREOLOGICAL BIMODAL LOGICS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A calculus of individuals based on 'connection'
• Intuitionistic propositional logic is polynomial-space complete
• Determining consistency of topological relations
• A complete axiom system for polygonal mereotopology of the real plane
• Non-axiomatizable second order intuitionistic propositional logic
• Ontologies for plane, polygonal mereotopology
• Boolean connection algebras: A new approach to the Region-Connection Calculus
• The algebra of topology
• Continuous lattices and Whiteheadian theory of space
• Modal logics for incidence geometries
• On an interpretation of second order quantification in first order intuitionistic propositional logic
• Embedding first order predicate logic in fragments of intuitionistic logic
• On the complexity of propositional quantification in intuitionistic logic
• A logic stronger than intuitionism
• On 2nd order intuitionistic propositional calculus with full comprehension