The files made available here may be preprints or postprints and can be slightly different from the official published version. A complete list is on DBLP and Google Scholar.
Consider submitting. I am on the programme committee of LATD 2027 (Logic, Algebra and Truth Degrees), 28 June–2 July 2027 in Eger, Hungary. I also serve on the steering committee of TACL.
Alexander Kurz, Apostolos Tzimoulis: Canonical Extensions of Quantale-Enriched Categories. arXiv:2605.26809, May 2026. Earlier slides from TACL 2024.
Alexander Kurz: Logic Enriched over a Quantale (invited talk). CALCO 2025. Slides.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux: Many-valued coalgebraic logic over semi-primal varieties. Logical Methods in Computer Science 20(3), 2024.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux: New perspectives on semi-primal varieties. Journal of Pure and Applied Algebra, Volume 228, Issue 4, April 2024. doi.
Alexander Kurz and Wolfgang Poiger. Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. CALCO 2023.
Samuel Balco, Alexander Kurz: Completeness of Nominal PROPs. Logical Methods in Computer Science 19(1), 2023. (pdf)
Alexander Kurz, Andrew Moshier, Achim Jung: Stone Duality for Relations. In: Samson Abramsky on Logic and Structure in Computer Science and Beyond, Springer, 2023. (pdf … slides from ManyVal 2020)
Alexander Kurz: Dualities from Double Categories of Relations. Presented at BLAST 2022. Slides.
Alexander Kurz, Wolfgang Poiger and Bruno Teheux: Modal logic over semi-primal algebras. In: 10th Conference on Topology, Algebra and Categories in Logic (TACL 2022), Coimbra, Portugal, June 19-24, 2022.
Alexander Kurz and Nima Motamed: Boolean-Valued Multiagent Coalgebraic Logic. Short contribution at CMCS 2022. Slides.
Alexander Kurz: Coalgebras over Lawvere Metric Spaces. Presentation at the Logic Seminar of the University of Ottawa organized by Richard Blute, Feb 2022.
Alexander Kurz: The Landscape of Coalgebraic Logic. Contribution to the workshop in honour of Alexandru Baltag’s 55th birthday. Jan 2022.
Alexander Kurz, Wolfgang Poiger and Bruno Teheux: A chain of adjunctions for BA and any variety generated by a semi-primal bounded lattice expansion. Presented at BLAST 2021.
Adriana Balan, Alexander Kurz: An equational approach to enriched distributivity. Revue Roumaine de Mathématiques Pures et Appliquées 66:3-4, 577-596 (2021)
Samuel Balco, Giuseppe Greco, Alexander Kurz, Andrew Moshier, Alessandra Palmigiano, Apostolos Tzimoulis: First order logic properly displayed. Arxiv, 2021.
Jim de Groot, Helle Hvid Hansen, Alexander Kurz: Logic-Induced Bisimulations. AiML 2020. (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)
Full list: DBLP.
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.
A Kurz, J Velebil: Quasivarieties and varieties of ordered algebras: Regularity and exactness. Mathematical Structures in Computer Science 27(7): 1153-1194 (2017). (pdf)
Dahlqvist, Fredrik ; Kurz, Alexander: The Positivication of Coalgebraic Logics. CALCO 2017.
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.
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).
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).
A. Kurz, J. Rosicky: Strongly complete logics for coalgebras. LMCS 8 (3:14) 2012.
C. Kupke, A. Kurz, Y. Venema: Completeness for the coalgebraic cover modality. LMCS 8 (3:14) 2012.
C. Cirstea, A. Kurz, D. Pattinson, L. Schröder, Y. Venema: Modal Logics are Coalgebraic. BCS Visions in Computer Science 2008; The Computer Journal 54(1):31–41, 2011.
M. Bonsangue, A. Kurz: Pi-Calculus in Logical Form. LICS 2007.
A. Kurz: Coalgebras and Their Logics. Logic Column of the SIGACT News 37 (2), pp. 57-77, 2006.
C. Kupke, A. Kurz, Y. Venema: Stone Coalgebras. Theoretical Computer Science 327:109-134, 2004.
A.Kurz: Specifying Coalgebras with Modal Logic. Theoretical Computer Science, Vol.260/1-2, 2001.
A.Kurz: Logics for Coalgebras and Applications to Computer Science. Doctoral Thesis. July 2000. (pdf).