Contour trees have been used in geographic information systems (GIS) and medical imaging to display scalar data. Contours are only defined for continuous functions. For an image represented by discrete data, a continuous function is first defined as an interpolation of the data. Then the contour tree is defined on this continuous function. In this paper, we introduce a new concept termed monoto...

In this paper we introduce the monotonic modal logics M4wn, M4n and MBn obtained from the basic strong monotonic modal logic MON by adding some formulas considered by R. Jansana in [8]. For each logic defined we prove completeness with respect to their characteristic classes of monotonic frames. The canonicity of these logics is proved using the representation theory for monotonic algebras deve...