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 ...

In this paper we shall discuss properties of saturation in monotonic neighbourhood models and study some applications, like a characterization of compact and modally saturated monotonic models and a characterization of the ...

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 ...

Abstract. We present an overview on how to perform non-monotonic reasoning based on paraconsistent logics. In particular, we show that one can define a logic programming semantics based on the paraconsistent logic G’3 which ...

This research is concerned with evolution equations and their forward-backward discretizations. Our rst contribution is an estimation for the distance between iterates of sequences generated by forward-backward schemes, ...

En el estudio de las álgebras relacionadas a las lógicas no-clásicas, los semirretículos (distributivos) están siempre presentes. Por ejemplo, la semántica algebraica del fragmento {→, ∧, T} de la lógica intuicionista modal ...