Resumen de Saturated neighbourhood models of Monotonic Modal Logics

Sergio Arturo Celani

• In this paper we shall introduce the notions of point-closed, point-compact, and m-saturated monotonic neighbourhood models. We will give some characterizations, and we will prove that the ultrafilter extension and the valuation extension of a model are m-saturated.