Remarks on General Monotonic Neighbourhood Frames
Sergio A. Celani and Ma. Paula Menchon
In this paper we shall discuss some classes of general monotonic neighbourhood frames, or general m-frames. We shall study the classes of point-compact, image compact and replete general m-frames, and the relationships between them. The variety of Boolean algebras with a monotonic modal operator is dually equivalent to two classes of descriptive general m-frames. In this paper we shall clarify this phenomenon showing that there exists a bijective correspondence between these two classes. We shall also prove that the notions of point-compact, and image-compact monotonic frames are preserved by strong bounded morphisms. Also, we will prove some preservation results on general subframes.
Keywords: Monotonic modal logic, multirelations, neighbourhood frames, lower topology, descriptive monotonic frames.