Abstract:Modal logics have proved useful for many reasoning tasks in symbolic artificial intelligence (AI), such as belief revision, spatial reasoning, among others. On the other hand, mathematical morphology (MM) is a theory for non-linear analysis of structures, that was widely developed and applied in image analysis. Its mathematical bases rely on algebra, complete lattices, topology. Strong links have been established between MM and mathematical logics, mostly modal logics. In this paper, we propose to further develop and generalize this link between mathematical morphology and modal logic from a topos perspective, i.e. categorial structures generalizing space, and connecting logics, sets and topology. Furthermore, we rely on the internal language and logic of topos. We define structuring elements, dilations and erosions as morphisms. Then we introduce the notion of structuring neighborhoods, and show that the dilations and erosions based on them lead to a constructive modal logic, for which a sound and complete proof system is proposed. We then show that the modal logic thus defined (called morpho-logic here), is well adapted to define concrete and efficient operators for revision, merging, and abduction of new knowledge, or even spatial reasoning.

Recognizability of morphisms

A note on one-sided recognizable morphisms

On B. Mossé's unilateral recognizability theorem

The Mittag-Leffler condition descents via pure monomorphisms

On morphisms of relative toposes

Congruence Preservation, Lattices and Recognizability

Morphisms (should be) everywhere

The recognizability of sets of graphs is a robust property

Functor morphing and representations of automorphism groups of modules

Morphisms of character varieties

Realization of Permutation Modules via Alexandroff Spaces

Note on the coincidence of two henselisations

Obstructions to return preservation for episturmian morphisms

A Note on Morphisms Determined by Objects

Effective Morphisms and Quotient Stacks

Morpho-logic from a Topos Perspective: Application to symbolic AI

Morphing etale spaces

Persistent homological Quillen-McCord theorem

Epimorphisms in varieties of residuated structures

A category of arrow algebras for modified realizability

Decidability of the isomorphism problem between multidimensional substitutive subshifts