A coalgebraic view on positive modal logic

Research output: Contribution to JournalArticleAcademicpeer-review

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 algebrization of logics (Lecture Notes in Logic, Springer, Berlin, 1996). A Priestley-style duality is established between the category of positive modal algebras and the category of K+-spaces in (J. IGPL 7 (6) (1999) 683). 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.

Original languageEnglish
Pages (from-to)175-195
Number of pages21
JournalTheoretical Computer Science
Volume327
Issue number1-2
DOIs
Publication statusPublished - 25 Oct 2004
Externally publishedYes

Fingerprint

Modal Logic
Algebra
K-space
Priestley Space
Logic
Kripke Models
Coalgebra
Categorical
Duality
Equivalence
Restriction
Class

Keywords

  • Positive modal algebra
  • Positive modal logic
  • Priestley space
  • Vietoris functor

Cite this

@article{8867caee3806412b8959d71fbeceecdc,
title = "A coalgebraic view on positive modal logic",
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 algebrization of logics (Lecture Notes in Logic, Springer, Berlin, 1996). A Priestley-style duality is established between the category of positive modal algebras and the category of K+-spaces in (J. IGPL 7 (6) (1999) 683). 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.",
keywords = "Positive modal algebra, Positive modal logic, Priestley space, Vietoris functor",
author = "Alessandra Palmigiano",
year = "2004",
month = "10",
day = "25",
doi = "10.1016/j.tcs.2004.07.026",
language = "English",
volume = "327",
pages = "175--195",
journal = "Theoretical Computer Science",
issn = "0304-3975",
publisher = "Elsevier",
number = "1-2",

}

A coalgebraic view on positive modal logic. / Palmigiano, Alessandra.

In: Theoretical Computer Science, Vol. 327, No. 1-2, 25.10.2004, p. 175-195.

Research output: Contribution to JournalArticleAcademicpeer-review

TY - JOUR

T1 - A coalgebraic view on positive modal logic

AU - Palmigiano, Alessandra

PY - 2004/10/25

Y1 - 2004/10/25

N2 - 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 algebrization of logics (Lecture Notes in Logic, Springer, Berlin, 1996). A Priestley-style duality is established between the category of positive modal algebras and the category of K+-spaces in (J. IGPL 7 (6) (1999) 683). 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.

AB - 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 algebrization of logics (Lecture Notes in Logic, Springer, Berlin, 1996). A Priestley-style duality is established between the category of positive modal algebras and the category of K+-spaces in (J. IGPL 7 (6) (1999) 683). 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.

KW - Positive modal algebra

KW - Positive modal logic

KW - Priestley space

KW - Vietoris functor

UR - http://www.scopus.com/inward/record.url?scp=4944257481&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=4944257481&partnerID=8YFLogxK

U2 - 10.1016/j.tcs.2004.07.026

DO - 10.1016/j.tcs.2004.07.026

M3 - Article

VL - 327

SP - 175

EP - 195

JO - Theoretical Computer Science

JF - Theoretical Computer Science

SN - 0304-3975

IS - 1-2

ER -