The files made available here may be preprints or postprints and can be slightly different from the official published version.

Jim de Groot, Helle Hvid Hansen, Alexander Kurz: Logic-Induced Bisimulations. AiML 2020. (pdf)

Samuel Balco, Alexander Kurz: Completeness of Nominal PROPs. 2020, submitted. (pdf)

Alexander Kurz, Andrew Moshier, Achim Jung: Stone Duality for Relations. 2019, submitted. (pdf)

Adriana Balan, Alexander Kurz, Jiri Velebil: Extending set functors to generalised metric spaces. Logical Methods in Computer Science 15(1) (2019). (pdf)

Samuel Balco, Alexander Kurz: Nominal String Diagrams. CALCO 2019: 18:1-18:20. Best paper award.

Hao Zeng, Alexander Kurz, Emilio Tuosto: Interface Automata for Choreographies. ICE 2019: 1-19. (pdf)

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano: Software Tool Support for Modular Reasoning in Modal Logics of Actions. ITP 2018: 48-67.

Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown: Features of Agent-based Models. In Proceedings GaM 2017.

Dahlqvist, Fredrik ; Kurz, Alexander: **The Positivication of Coalgebraic Logics.** CALCO 2017

O Babus, A Kurz: **On the Logic of Generalised Metric Spaces.** CMCS 2016.

A Kurz, J Velebil: **Relation lifting**. J. Log. Algebr. Meth. Program. 85(4): 475-499 (2016). Postfinal version with a typo corrected thanks to Uli Fahrenberg.

A Balan, A Kurz, J Velebil: **Extensions of functors from Set to V-cat**. CALCO 2015.

A Kurz, A Pardo, D Petrisan, P Severi and F-J de Vries: **Nested Fixpoints — A Coalgebraic View of Parametric Dataypes**. CALCO 2015.

A Kurz, S Milius, D Pattinson, L Schröder: **Simplified Coalgebraic Trace Equivalence.**.

A Kurz, J Velebil: **Quasivarieties and varieties of ordered algebras: Regularity and exactness**. Mathematical Structures in Computer Science 27(7): 1153-1194 (2017). (pdf)

S Frittella, G Greco, A Kurz, A Palmigiano: **Multi-type display calculus for Propositional Dynamic Logic**. J. Log. Comput. 26(6): 2067-2104 (2016).

S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic: **Multi-type Display Calculus for Dynamic Epistemic Logic**. J. Log. Comput. 26(6): 2017-2065 (2016).

S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic: **A Proof-Theoretic Semantic Analysis of Dynamic Epistemic Logic**. J. Log. Comput. 26(6): 1961-2015 (2016).

G Greco, A Kurz, A Palmigiano: **Dynamic epistemic logic displayed**. LORI-4.

A Balan, A Kurz, J Velebil: **Positive Fragments of Coalgebraic Logics**. Logical Methods in Computer Science, Vol. 11(3:18)2015, pp. 1–51 (pdf). The conference version from CALCO 2013 is here.

A Kurz, A Palmigiano: **Epistemic Updates on Algebras**. Logical Methods in Computer Science, 2013. (pdf)

M. Bilkova, A. Kurz, D. Petrisan, J. Velebil: **Relation lifting, with an application to the many-valued cover modality**. Logical Methods in Computer Science, 2013.

A Kurz, D Petrisan, P Severi, F-J de Vries: **Nominal Coalgebraic Data Types with Applications to Lambda Calculus **. Logical Methods in Computer Science, 2013.

M Bonsangue, H Hansen, A Kurz, J Rot: **Presenting Distributive Laws **. CALCO 2013.

A. Kurz, D. Petrisan, P. Severi and F.-J. de Vries : ** An Alpha-Corecursion Principle for the Infinitary Lambda Calculus**. CMCS 2012.

A. Kurz, T. Suzuki, E. Tuosto: **A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions**. IFIP TCS 2012.

K. Kapulkin, A. Kurz, J. Velebil: Expressiveness of Positive Coalgebraic Logic. Advances in Modal Logic 2012 (pdf)

A. Kurz, J. Rosicky: **Strongly complete logics for coalgebras.** LMCS 8 (3:14) 2012. (The draft from July 2006 for reference: .ps, .pdf, .dvi).

C. Kupke, A. Kurz, Y. Venema: Completeness for the coalgebraic cover modality. LMCS 8 (3:14) 2012. (The conference version from AiML 2008 for reference: .pdf )

A. Kurz, T. Suzuki, E. Tuosto: On Nominal Regular Languages with Binders. Fossacs 2012.

A. Kurz, J. Velebil: **Enriched logical connections**. Appl. Categ. Structures, online first, 23 September 2011. pdf

M. Bilkova, A. Kurz, D. Petrisan, J. Velebil: **Relation Liftings on Preorders and Posets**. CALCO’11 Updated version with proofs, September 2012.

A Balan, A Kurz: **Finitary Functors: From Set to Preord and Poset**. CALCO’11

Ch Kissig, A Kurz: Generic Trace Logics. March 2011.

J. Velebil, A. Kurz: **Equational presentations of functors and monads **. Mathematical Structures in Computer Science (2011) 21(2):363-381. **pdf**

A. Kurz, T. Suzuki, E. Tuosto: **Towards Nominal Formal Languages**. February 2011.

A. Kurz, T. Suzuki, E. Tuosto: ** Nominal Monoids**. Technical Report CS-10-004, University of Leicester, October 2010.

A. Kurz, A. Palmigiano, Y.Venema: **Coalgebra and Logic: A Brief Overview**. Editorial of a Special Issue on Coalgebra and Logic: J Logic Computation (2010) 20(5): 985-990 doi:10.1093/logcom/exn094 .

A. Kurz, Y.Venema: **Coalgebraic Lindström Theorems.** Advances in Modal Logic, Moscow 2010. ( .pdf )

A. Kurz, D. Petrisan, J. Velebil: **Algebraic Theories over Nominal Sets**. (arXiv)

A. Balan, A. Kurz: **On coalgebras over algebras.** CMCS, Cyprus 2010. (arXiv) (Revised and extended version to appear in TCS preprint)

V. Ciancia, A. Kurz and U. Montanari: **Families of Symmetries as Efficient Models of Resource Binding .** CMCS, Cyprus 2010.

A. Kurz, D. Petrisan: **On Universal Algebra over Nominal Sets.** (.pdf ) Mathematical Structures in Computer Science 20:285-318 (2010)

A. Kurz, D. Petrisan: **Presenting functors on many-sorted varieties and applications.** Information and Computation, Volume 208, Issue 12, December 2010, Pages 1421-1446. (pdf)

A. Kurz, R. Leal: **Equational Coalgebraic Logic.** MFPS XXV, Oxford 2009. (.pdf ) Revised as **Modalities in the Stone age: A comparison of coalgebraic logics.** To appear in the special issue of MFPS XXV. (.pdf )

A. Kurz, M. Lenisa, A. Tarlecki: * Algebra and Coalgebra in Computer Science. Third International Conference, CALCO 2009, Udine, Italy, September 7-10, 2009. Proceedings.* Lecture Notes in Computer Science, Volume 5728. (springerlink)

A. Kurz, R. Leal: **Equational Coalgebraic Logic.** MFPS XXV, Oxford 2009. (.pdf )

C. Cirstea, A. Kurz, D. Pattinson, L. Schröder, Y. Venema: **Modal Logics are Coalgebraic.** BCS Visions in Computer Science 2008. (.pdf )

G. Bezhanishvili, N. Bezhanishvili, D. Gabelaia, A. Kurz: **Bitopological Duality for Distributive Lattices and Heyting Algebras.** Mathematical Structures in Computer Science, Vol. 20, Issue 03, pp. 359-393, 2010 . (.pdf )

C. Kupke, A. Kurz, Y. Venema: **Completeness of the finitary Moss logic.** AiML 2008. (.pdf )

A. Kurz, D. Petrisan: **Functorial Coalgebraic Logic: The case of many-sorted varieties.** CMCS 2008. (.pdf )

M. Bonsangue, A. Kurz: **Pi-Calculus in Logical Form.** LICS 2007. (.pdf )

A. Kurz, J. Rosicky: **The Goldblatt-Thomason Theorem for
Coalgebras.** CALCO 2007. (.pdf )

N. Ghani, A. Kurz: **Higher Order Trees, Algebraically.** CALCO 2007. (.pdf )

N. Bezhanishvili, A. Kurz: **Free modal algebras: a coalgebraic perspective.** CALCO 2007. (.pdf )

M. Hammoudeh, A. Kurz, E. Gaura: **MuMHR: Multi-path, Multi-hop, Hierarchical Routing**. SensorComm 2007. (.pdf )

A. Kurz: **Coalgebras and Their Logics.** Logic Column of the SIGACT News 37 (2), pp. 57-77, 2006.

M. Bonsangue, A. Kurz: **Presenting Functors by Operations and Equations.** January 2006 (supersedes drafts from Feb and Oct 2005). (.dvi .ps .pdf). Fossacs 2006.

M. Bonsangue, A. Kurz, I.M. Rewitzky: **Coalgebraic representations of distributive lattices with operators.** October 2005, to appear in *Topology and its Applications*. (.dvi .ps .pdf)

C. Kupke, A. Kurz, D. Pattinson: **Ultrafilter extensions for coalgebras.** CALCO 2005. (.dvi, .ps, .pdf)

M. Bonsangue, A. Kurz: **Duality for Logics of Transition Systems.** Fossacs 2005. (replaces a draft of October 2004 and extends an abstract presented at TANCL , Tbilisi 7 - 11 July 2003) (.dvi, .pdf, .ps)

A. Kurz, J. Rosicky: **Weak Factorizations, Fractions and Homotopies.** Applied Categorical Structures 13:141-160,2005. Preprint, October 2004. (.dvi, .pdf, .ps)

C. Kupke, A. Kurz, D. Pattinson: **Algebraic Semantics for
Coalgebraic Modal Logic.** CMCS 2004. (.dvi, .pdf (recompiled with diagrams))

A. Kurz, A. Palmigiano: **Coalgebras and Modal Expansions of Logics.** CMCS 2004. (.dvi, .ps, (.pdf (recompiled with diagrams)))

A. Kurz, J. Rosicky: **Operations and Equations for Coalgebras.** Mathematical Structures in Computer Science 15:149-166, 2005. Revised and extended version of `Modal Predicates and Coequations’, CMCS’02. (Preprint February 2004 .dvi, .ps, .pdf)

C. Kupke, A. Kurz, Y. Venema: ** Stone Coalgebras.** In Proceedings of CMCS 2003. Volume 82.1 of ENTCS, Elsevier, 2003. (CMCS’03: .ps, .pdf, May 2003; CWI Technial Report SEN-E0303, July 2003; Revised: .ps, October
2003). Revised and extended version appeared in Theoretical Computer Science 327:109-134, 2004. (Preprint May 2004: .dvi, .ps, .pdf)

A.Kurz: ** Notions of Behaviour and Reachable-Part and their Institutions.** In Proceedings of WADT 2002. Volume 2755 of LNCS, Springer, 2003. (.ps)

M.Bidoit, R.Hennicker, A.Kurz: ** Observational Logic, Constructor-Based Logic and their Duality.** CWI Technical Report SEN-R0223, 2002. (.ps.gz, .ps) Continues and contains “On the Duality between Observability and Reachability”, FoSSaCS 2001 by the same authors. Accepted for TCS.

A.Kurz, D.Pattinson: ** Coalgebraic Modal Logic of Finite Rank.** CWI Technical Report SEN-R0222, 2002. (.ps.gz, .ps) Revised version of “Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic” by the same authors. Accepted for Mathematical Structures in Computer Science.

A.Kurz (Ed.): ** Proceedings of the Workshop on Categorical Methods for Concurrency, Interaction, and Mobility (CMCIM). ** Volume 68.1 of Electronic Notes in Theoretical Computer Science, 2002.

A.Kurz, D.Pattinson: ** Definability, Canonical Models, Compactness for Finitary Coalgebraic Modal Logic. ** In Lawrence Moss, editor, Coalgebraic Methods in Computer Science (CMCS’02), volume 65.1 of Electronic Notes in Theoretical Computer Science, 2002. (.ps.gz, .ps).

A.Kurz: ** Logics Admitting Final Semantics.** Fossacs 2002. (.ps.gz, .ps, © Springer Verlag).

A.Kurz: ** Coalgebras and Modal Logic.** Course Notes for ESSLLI 2001, Version of October 2001. Appeared on the CD-Rom *ESSLLI’01*, Department of Philosophy, University of Helsinki, Finland. (.ps.gz, .ps).

A.Kurz, D.Pattinson: ** Coalgebras and Modal Logic for Parameterised Endofunctors.** CWI Technical Report, SEN-R0040, December 2000. (.ps.gz)

A.Kurz: *Logics for Coalgebras and Applications to Computer Science.*
Doctoral Thesis. July 2000. (gzipped postscript), (postscript).

A.Kurz: *Modal Logic is Dual to Equational Logic.*
Extended abstract. January 2000. The current version is chapter 2 of my thesis, see above.
(gzipped postscript).

A.Kurz, D.Pattinson: *Notes on Coalgebras, Co-Fibrations and Concurrency. * To appear in Proceedings of Coalgebraic Methods in Computer Science, Berlin, March 2000 (CMCS’00), ENTCS Volume 33. (Extended version of the Dresden workshop contribution, December 1999.) March 2000. (gzipped postscript).

A.Kurz: *Limits in Categories of Coalgebras.* A short note on a way to
construct limits in categories of coalgebras. Draft, November 1999. (gzipped postscript).

A.Kurz, R.Hennicker: *On Institutions for Modular Coalgebraic Specifications.* Accepted for publication in TCS.(link).

A.Kurz, D.Pattinson: *Notes on Coalgebras, Co-Fibrations and Concurrency. *Draft, presented at the Workshop on Categorical Models of Concurrency, Dresden, October 1999. There is a new version now, see above.

A.Kurz: Modal Rules are Co-Implications. CMCS 2001.

R.Hennicker, A.Kurz: *On the Algebraic Extension of Coalgebraic Specifications.* In J. Rutten and B. Jacobs, editors, Proceedings of Coalgebraic Methods in Computer Science, Amsterdam, March 1999 (CMCS’99). Published in ENTCS Volume 19. (gzipped postscript).

A.Kurz: *A Co-Variety-Theorem for Modal Logic.* Preprint (revised 29.3.1999). To be published in Proceedings of Advances in Modal Logic, Uppsala, 1998. CSLI,Stanford. (gzipped postscript).

A.Kurz: *Coalgebras and Modal Logic.* Proceedings of Advances in Modal Logic, Uppsala, 1998. Title changed to “A Co-Variety-Theorem for Modal Logic”, see above.

A.Kurz: *Specifying Coalgebras with Modal Logic.* In B. Jacobs, L. Moss, H. Reichel, and J. Rutten, editors, Proceedings of Coalgebraic Methods in Computer Science, Lisbon, March 1998 (CMCS’98). Published in ENTCS Volume 11. A revised version appeared in Theoretical Computer Science, Vol.260/1-2. (link).

A.Kurz: *A Note on the Frame Semantics of Modal Logic.* Talk given on the workshop on Polymodal Logics, ESSLLI’97, Aix-en-Provence. (gzipped
postscript).

A. Kurz: *Sequence Frames.* Proc. Verif. in New Orientation, Univ.
Maribor (1995). (gzipped postscript).