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

Paolo Torrini, John G. Stell, Brandon Bennett. Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic. Journal of Applied Non-Classical Logics, 12(3-4):495-526, 2002.

Abstract

Abstract is missing.