A Coalgebraic Perspective on Monotone Modal Logic | Zendy

Helle Hvid Hansen | Zendy; Clemens Kupke | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

A Coalgebraic Perspective on Monotone Modal Logic

Author(s) -

Helle Hvid Hansen,

Clemens Kupke

Publication year - 2004

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2004.02.028

Subject(s) - functor , monotone polygon , mathematics , coalgebra , modal logic , bisimulation , equivalence (formal languages) , pure mathematics , modal , discrete mathematics , algebra over a field , chemistry , geometry , polymer chemistry

The paper has two main parts: First we make the connection between monotone modal logic and the general theory of coalgebras precise by defining functors UpP:Set→Set and UpV:Stone→Stone such that UpP- and UpV-coalgebras correspond to monotone neighbourhood frames and descriptive general monotone frames, respectively. Then we investigate the relationship between the coalgebraic notions of equivalence and monotone bisimulation. In particular, we show that the UpP-functor does not preserve weak pullbacks, and we prove interpolation for a number of monotone modal logics using results on UpP-bisimulations

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research