info:eu-repo/semantics/article
Monotonic modal logics with a conjunction
Fecha
2021-11Registro en:
Celani, Sergio Arturo; Menchón, María Paula; Monotonic modal logics with a conjunction; Springer; Archive for Mathematical Logic; 60; 11-2021; 857-877
0933-5846
1432-0665
CONICET Digital
CONICET
Autor
Celani, Sergio Arturo
Menchón, María Paula
Resumen
Monotone modal logics have emerged in several application areas such as computer science and social choice theory. Since many of the most studied selfextensional logics have a conjunction, in this paper we study some distributive extensions obtained from a semilattice based deductive system with monotonic modal operators, and we give them neighborhood and algebraic semantics. For each logic defined our main objective is to prove completeness with respect to its characteristic class of monotonic frames.