A coalgebraic view on positive modal logic (Q703528): Difference between revisions

Coalgebras can be seen as abstract versions of state-based dynamical systems and modal logic as the logic of transition systems. So, the interest of coalgebras as semantic structures for logical languages is growing. On the other hand, it is well known that every logic is canonically associated with a class of algebras. Therefore, the natural algebra/coalgebra duality makes coalgebras a better candidate for the role of semantic structure for modal logics. In this direction, the paper presents a coalgebraic semantics for Positive Modal Logic (PML). Starting points for this work are: the Positive Modal Algebra (the algebra canonically associated to PML), introduced by \textit{J. M. Dunn} [Stud. Log. 55, No. 2, 301--317 (1995; Zbl 0831.03007)], and the category of \textbf{K}\(^+\)-spaces, whose Priestley-style duality with Positive Modal Algebras was given by \textit{S. Celani} and \textit{R. Jansana} [Log. J. IGPL 7, No. 6, 683--715 (1999; Zbl 0948.03013)]. Concretely, the paper introduces one endofunctor, denoted by \textbf{V}, on the category \textbf{Pri} of Priestley spaces based on the Vietoris powerspace construction. The author proposes the category \textbf{Coalg}(\textbf{V}) of coalgebras of \textbf{V} as a coalgebraic semantics for PML by establishing the equivalence between the category of \textbf{K}\(^+\)-spaces and the category \textbf{Coalg}(\textbf{V}). The paper clearly shows the background of the problem, gives very interesting results and concludes with a preview of a similar study about the intuitionistic modal logics.