by
N. Bezhanishvili
,
A. Kurz

Citations: | 5 - 1 self |

@MISC{Bezhanishvili_freemodal,

author = {N. Bezhanishvili and A. Kurz},

title = {Free modal algebras: a coalgebraic perspective},

year = {}

}

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. 1

Developed at and hosted by The College of Information Sciences and Technology

© 2007-2013 The Pennsylvania State University