Please use this identifier to cite or link to this item: http://hdl.handle.net/2381/4280
Title: Free modal algebras: a coalgebraic perspective.
Authors: Bezhanishvili, N.
Kurz, Alexander
First Published: 22-Aug-2007
Publisher: Springer Verlag.
Citation: Lecture Notes in Computer Science, 2007, 4624, pp. 143-157.
Abstract: 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.
DOI Link: 10.1007/978-3-540-73859-6_10
ISSN: 0302-9743
1611-3349
Links: http://link.springer.com/chapter/10.1007%2F978-3-540-73859-6_10
http://hdl.handle.net/2381/4280
Type: Article
Description: 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.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
calcofinal.pdf152.46 kBAdobe PDFView/Open


Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.