University of Leicester
Browse
calcofinal.pdf (152.46 kB)

Free modal algebras: a coalgebraic perspective.

Download (152.46 kB)
journal contribution
posted on 2009-03-04, 12:45 authored by N. Bezhanishvili, Alexander Kurz
In this paper we discuss a uniform method for constructing free modal and distributive modal algebras. This method draws on works by (Abramsky 2005) and (Ghilardi 1995).We revisit the theory of normal forms for modal logic and derive a normal form representation for positive modal logic. We also show that every finitely generated free modal and distributive modal algebra axiomatised by equations of rank 1 is a reduct of a temporal algebra.

History

Citation

Lecture Notes in Computer Science, 2007, 4624, pp. 143-157.

Published in

Lecture Notes in Computer Science

Publisher

Springer Verlag.

issn

0302-9743;1611-3349

Available date

2009-03-04

Publisher version

http://link.springer.com/chapter/10.1007/978-3-540-73859-6_10

Notes

This is the author’s final draft of the paper published as Lecture Notes in Computer Science, 2007, 4624, pp. 143-157. The original publication is available at www.springerlink.com, Doi: 10.1007/978-3-540-73859-6_10.

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC