Rank-1 modal logics are coalgebraic
Date
Authors
Schröder , Lutz
Pattinson, Dirk
Journal Title
Journal ISSN
Volume Title
Publisher
Oxford University Press
Abstract
Coalgebras provide a unifying semantic framework for a wide variety of modal logics. It has previously been shown that the class of coalgebras for an endofunctor can always be axiomatized in rank 1. Here we establish the converse, i.e. every rank-1 modal
Description
Citation
Collections
Source
Journal of Logic and Computation
Type
Book Title
Entity type
Access Statement
License Rights
Restricted until
2037-12-31
Downloads
File
Description