|
|
Saturated neighbourhood models of Monotonic Modal LogicsKeywords: monotonic modal logic, neighbourhood frames and models, m-saturated models, ultrafilter extension, valuation extension. Abstract: 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.
|
