Coalgebraic semantics for positive modal logic

  • Palmigiano A
  • 2

    Readers

    Mendeley users who have this article in their library.
  • 3

    Citations

    Citations of this article.

Abstract

Positive Modal Logic is the restriction of the modal local consequence relation defined by the class of all Kripke models to the propositional negation-free modal language. The class of positive modal algebras is the one canonically associated with PML according to the theory of the algebraization of logics. In [4], a Priestley-style duality is established between the category of positive modal algebras and the category of K+-spaces. In this paper, we establish a categorical equivalence between the category K+of K+-spaces and the category Coalg(V) of coalgebras of a suitable endofunctor V on the category of Priestley spaces. ©2003 Published by Elsevier Science B. V.

Author-supplied keywords

  • Positive Modal Logic
  • Positive modal algebra
  • Priestley space
  • Vietoris functor

Get free article suggestions today

Mendeley saves you time finding and organizing research

Sign up here
Already have an account ?Sign in

Find this document

Authors

  • Alessandra Palmigiano

Cite this document

Choose a citation style from the tabs below

Save time finding and organizing research with Mendeley

Sign up for free