Monotonic Modal Logics with a Conjunction

CELANI, SERGIO; MENCHÓN, MA. PAULA

ARCHIVE FOR MATHEMATICAL LOGIC - (Print)

springer

Año: 2022 vol. 60

0933-5846

Monotone modal logics have emerged in several application areassuch as computer science and social choice theory. Since many of the most stud-ied selfextensional logics have a conjunction, in this paper we study some dis-tributive extensions obtained from a semilattice based deductive system withmonotonic modal operators, and we give them neighborhood and algebraicsemantics. For each logic defined our main objective is to prove completenesswith respect to its characteristic class of monotonic frames.