Serie : Journal of applied non-classical logics. Vol 3-4 (2002)
Paru le 15/12/2002 | Broché
Public motivé
A Modal Walk Through Space
Marco Aiello, Johan van Benthem
Modal Logics for Parallelism, Orthogonality, and Affine Geometries - Philippe Balbiani, Valentin Goranko
Modal Logics Based on Mathematical Morphology for Qualitative Spatial Reasoning
Isabelle Bloch
Axiomatizing Distance Logics
Oliver Kutz, Holger Sturm, Nobu-Yuki Suzuki, Frank Wolter, Michael Zakharyaschev
A Topological Constraint Language with Component Counting - Ian Pratt-Hartmann
A Canonical Model of the Region Connection Calculus
Jochen Renz
Mereotopology in 2nd-Order and Modal Extensions of Intuitionistic Propositional Logic
Paolo Torrini, John G. Stell, Brandon Bennett
A Proximity Approach to Some Region-Based Theories of Space - Dimiter Vakarelov, Georgi Dimov, Ivo Düntsch, Brandon Bennett