Resumo

CELANI, Sergio Arturo. Saturated neighbourhood models of Monotonic Modal Logics. Rev. Unión Mat. Argent. [online]. 2008, vol.49, n.1, pp.111-121. ISSN 0041-6932.

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.

Palavras-chave : monotonic modal logic; neighbourhood frames and models; m-saturated models; ultrafilter extension; valuation extension.

        · texto em Inglês     · Inglês ( pdf )