Sciweavers

Share
CALCO
2007
Springer

Free Modal Algebras: A Coalgebraic Perspective

9 years 6 months ago
Free Modal Algebras: A Coalgebraic Perspective
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.
Nick Bezhanishvili, Alexander Kurz
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where CALCO
Authors Nick Bezhanishvili, Alexander Kurz
Comments (0)
books