TY - RPRT TI - Dual Logic Concepts based on Mathematical Morphology in Stratified Institutions: Applications to Spatial Reasoning AU - Marc Aiguier AU - Isabelle Bloch PY - 2017 UR - https://arxiv.org/abs/1710.05661 ID - 1710.05661 ER -