The files made available here may be preprints or postprints and can be slightly different from the official published version.
Alexander Kurz, Apostolos Tzimoulis: Slides on Canonical Extensions of Quantale-Enriched Categories. TACL, 2024.
Alexander Kurz, Wolfgang Poiger, Bruno Teheux: Many-valued coalgebraic logic over semi-primal varieties. Accepted for LMCS.
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.
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- primalboundedlatticeexpansion. 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)
Samuel Balco, Alexander Kurz: Completeness of Nominal PROPs. 2020, submitted. (pdf)
Alexander Kurz, Andrew Moshier, Achim Jung: Stone Duality for Relations. 2021. (pdf … slides from ManyVal 2020)
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. (pdf), (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).