Modal Rules are Co-Implications

Electronic Notes in Theoretical Computer Science - Tập 44 - Trang 241-253 - 2001
Alexander Kurz1
1CWI, P.O. Box 94079, NL-1090 GB Amsterdam, The Netherlands

Tài liệu tham khảo

Aczel, 1988, Non-Well-Founded Sets

Aczel, 1989, A final coalgebra theorem, 357

Banaschewski, 1976, Subcategories defined by implications, Houston Journal of Mathematics, 2, 149

Borceux, 1994

Robert Goldblatt. What is the coalgebraic analogue of Birkhoff's variety theorem? Theoretical Computer Science. To appear.

Gumm, 1998, Covarieties and complete covarieties

Gumm, 2000, Coalgebraic structure from weak limit preserving functors, 113

H. Peter Gumm. Equational and implicational classes of co-algebras. Extended abstract. RelMiCS'4. The 4th International Seminar on Relational Methods in Logic, Algebra and Computer Science, Warsaw, 1998.

Bart Jacobs. The temporal logic of coalgebras via galois algebras. Technical Report CSI-R9906, Computing Science Institute Nijmegen, 1999.

Jacobs, 2000, Towards a duality result in coalgebraic modal logic, 163

Kröger, 1987

Alexander Kurz. Specifying coalgebras with modal logic. Theoretical Computer Science, 260(1-2). To appear.

Alexander Kurz. A co-variety-theorem for modal logic. In Proceedings of Advances in Modal Logic 2, Uppsala, 1998. Center for the Study of Language and Information, Stanford University, 2000.

Alexander Kurz. Logics for Coalgebras and Applications to Computer Science. PhD thesis, Ludwig-Maximilians-Universität München, 2000. http://www.informatik.uni-muenchen.de/~kurz.

Moss, 1999, Coalgebraic logic, Annals of Pure and Applied Logic, 96, 277, 10.1016/S0168-0072(98)00042-6

Dirk Pattinson. Semantical principles in the modal logic of coalgebras. In Proceedings 18th International Symposium on Theoretical Aspects of Computer Science (STACS 2001), Lecture Notes in Computer Science, Berlin, 2001. Springer. To appear.

Martin Rößiger. From modal logic to terminal coalgebras. Theoretical Computer Science, 260(1-2). To appear.

Rößiger, 2000, Coalgebras and modal logic, 299

Rutten, 2000, Universal coalgebra: A theory of systems, Theoretical Computer Science, 249, 3, 10.1016/S0304-3975(00)00056-6

Wechler, 1992

Thông tin
Thông tin xuất bản

Electronic Notes in Theoretical Computer Science

Tập 44

241-253

Thông tin tác giả