- Modal Rules are Co-Implications Alexander Kurz
- Specifying Coalgebras with Modal Logic Alexander Kurz
- On Observability and Reachability ? Michel Bidoit 1 Rolf Hennicker 2 Alexander Kurz 3
- CMCS'04 Preliminary Version Coalgebras and Modal Expansions of Logics
- Presenting Functors by Operations and Equations Marcello M. Bonsangue 1
- CMCS'04 Preliminary Version Coalgebras and Modal Expansions of Logics
- Coalgebraic Lindstrom Theorems Alexander Kurz
- Limits in Categories of Coalgebras Alexander Kurz
- On Institutions for Modular Coalgebraic Speci cations
- Modal Predicates and Coequations Alexander Kurz \Lambda
- CMCS'02 Preliminary Version De nability, Canonical Models, Compactness
- Logics for Coalgebras and Applications to Computer Science
- Notions of Behaviour and Reachable-Part and their Institutions
- Category Theory Lecture Notes Daniele Turi
- MuMHR: Multi-path, Multi-hop Hierarchical Mohammad Hammoudeh, Alexander Kurz, and Elena Gaura
- Coalgebraic representations of distributive lattices with operators
- Electronic Notes in Theoretical Computer Science 65 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 20 pages
- Translating Logics for Coalgebras (Extended Abstract) Dirk Pattinson, Alexander Kurz
- Modal Logics are Coalgebraic Corina C^irstea
- Observational Logic, ConstructorBased Logic, and their Duality
- A CoVarietyTheorem for Modal Logic Alexander Kurz
- Free modal algebras: a coalgebraic perspective N. Bezhanishvili1
- Under consideration for publication in Math. Struct. in Comp. Science Operations and Equations for Coalgebras
- WEAK FACTORIZATIONS, FRACTIONS AND A. KURZ AND J. ROSICK
- Coalgebras and Modal Logic for Parameterised Endofunctors Alexander Kurz
- Duality for Logics of Transition Systems Marcello M. Bonsangue 1? Alexander Kurz 2??
- Strongly Complete Logics for Coalgebras Alexander Kurz #
- Equational Coalgebraic Logic Alexander Kurz1 ,3
- Modalities in the Stone age: A comparison of coalgebraic logics
- BITOPOLOGICAL DUALITY FOR DISTRIBUTIVE LATTICES AND HEYTING ALGEBRAS
- Completeness of the finitary Moss logic Clemens Kupke1
- The Goldblatt-Thomason Theorem for Alexander Kurz1
- Coalgebraic representations of distributive lattices with operators
- Electronic Notes in Theoretical Computer Science 82 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume82.html 21 pages
- Coinduction -An Introductory Example Alexander Kurz
- Topics in Coalgebra Alexander Kurz
- Institutions for Notions of Behaviour and Reachable-Part Alexander Kurz, CWI, Amsterdam, kurz@cwi.nl
- Topics in Coalgebra Alexander Kurz
- Nominal Monoids Alexander Kurz Tomoyuki Suzuki Emilio Tuosto
- Sequence Frames Alexander Kurz
- Duality for Logics of Transition Systems Marcello M. Bonsangue 1
- Strongly Complete Logics for Coalgebras Alexander Kurz
- http://journals.cambridge.org Downloaded: 01 Jun 2011 IP address: 143.210.72.208 Math. Struct. in Comp. Science (2011), vol. 21, pp. 363381. c Cambridge University Press 2011
- CMCS'04 Preliminary Version Algebraic Semantics for Coalgebraic Logics
- CMCS'04 Preliminary Version Coalgebras and Modal Expansions of Logics
- Presenting Functors by Operations and Equations Marcello M. Bonsangue 1? Alexander Kurz 2??
- CMCS'04 Preliminary Version Algebraic Semantics for Coalgebraic Logics
- A Note on the Frame Semantics of Modal Logic Alexander Kurz
- Presenting Functors by Operations and Equations Marcello M. Bonsangue 1# Alexander Kurz 2##
- Pi-Calculus in Logical Form M.M. Bonsangue
- Electronic Notes in Theoretical Computer Science 82 No. 1 (2003) URL: http://www.elsevier.nl/locate/entcs/volume82.html 21 pages
- Logics Admitting Final Semantics Alexander Kurz
- Coalgebraic Modal Logic of Finite Rank Alexander Kurz
- Computational Category Theory D.E. Rydeheard
- Coalgebras and Modal Logic Alexander Kurz 1
- Coalgebraic representations of distributive lattices with operators
- Under consideration for publication in Math. Struct. in Comp. Science Operations and Equations for Coalgebras
- Strongly Complete Logics for Coalgebras Alexander Kurz * Ji~r'i Rosick'y y
- Stone Coalgebras Clemens Kupke Alexander Kurz yz Yde Venema x
- WEAK FACTORIZATIONS, FRACTIONS AND A. KURZ AND J. ROSICKY
- Electronic Notes in Theoretical Computer Science 65 No. 1 (2002) URL: http://www.elsevier.nl/locate/entcs/volume65.html 21 pages
- WEAK FACTORIZATIONS, FRACTIONS AND HOMOTOPIES
- Duality for Logics of Transition Systems Marcello M. Bonsangue 1?Alexander Kurz 2??
- On Coalgebras over Algebras Department of Mathematics II, University Politehnica of Bucharest, Romania
- Completeness for the coalgebraic cover modality Clemens Kupke
- Relation Liftings on Preorders and Posets Marta Bilkova1
- Finitary Functors: From Set to Preord and Poset Adriana Balan1,
