Foreword: special issue on coalgebraic logic
Ernst-Erich Doberkat, Alexander Kurz
págs. 171-174
Coalgebraic logic over general measurable spaces - a survey
Ernst-Erich Doberkat, Christoph Schubert
págs. 175-234
Modular algorithms for heterogeneous modal logics via multi-sorted coalgebra
Lutz Schröder, Dirk Pattinson
págs. 235-266
págs. 267-320
págs. 321-361
Equational presentations of functors and monads
Jirí Velebil, Alexander Kurz
págs. 363-381
On monotone modalities and adjointness
Marta Bílková, Jirí Velebil, Yde Venema
págs. 383-416
Elgot theories: a new perspectives on the equational properties of iteration
Jirí Adámek, Stefan Milius, Jirí Velebil
págs. 417-480
Initial algebras and terminal coalgebras in many-sorted sets
Jirí Adámek, Vera Trnková
págs. 481-509
© 2008-2024 Fundación Dialnet · Todos los derechos reservados