A Co-Variety-Theorem for Modal Logic. - Alexander Kurz 001 (Advances in Modal Logic, 1998)

(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications. - Rolf Hennicker; Alexander Kurz 001 (CMCS, 1999)

Notes on Coalgebras, Cofibrations and Concurrency. - Alexander Kurz 001; Dirk Pattinson (CMCS, 2000)

On the Duality between Observability and Reachability. - Michel Bidoit; Rolf Hennicker; Alexander Kurz 001 (FoSSaCS, 2001)

Modal Rules are Co-Implications. - Alexander Kurz 001 (CMCS, 2001)

Specifying coalgebras with modal logic. - Alexander Kurz 001 (Theor. Comput. Sci., 2001)

Logics Admitting Final Semantics. - Alexander Kurz 001 (FoSSaCS, 2002)

Notions of Behaviour and Reachable-Part and Their Institutions. - Alexander Kurz 001 (WADT, 2002)

Preface. - Alexander Kurz 001 (Categorical Methods for Concurrency, Interaction, and Mobility @ CONCUR, 2002)

Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic. - Alexander Kurz 001; Dirk Pattinson (CMCS, 2002)

Modal Predicates and Co-equations. - Alexander Kurz 001; Jirí Rosický (CMCS, 2002)

On institutions for modular coalgebraic specifications. - Alexander Kurz 001; Rolf Hennicker (Theor. Comput. Sci., 2002)

Preface. - Thomas T. Hildebrandt; Alexander Kurz 001 (CMCIM/GETCO@CONCUR, 2003)

Observational logic, constructor-based logic, and their duality. - Michel Bidoit; Rolf Hennicker; Alexander Kurz 001 (Theor. Comput. Sci., 2003)

Algebraic Semantics for Coalgebraic Logics. - Clemens Kupke; Alexander Kurz 001; Dirk Pattinson (CMCS, 2004)

Coalgebras and Modal Expansions of Logics. - Alexander Kurz 001; Alessandra Palmigiano (CMCS, 2004)

Stone coalgebras. - Clemens Kupke; Alexander Kurz 001; Yde Venema (Theor. Comput. Sci., 2004)

Ultrafilter Extensions for Coalgebras. - Clemens Kupke; Alexander Kurz 001; Dirk Pattinson (CALCO, 2005)

Duality for Logics of Transition Systems. - Marcello M. Bonsangue; Alexander Kurz 001 (FoSSaCS, 2005)

Weak Factorizations, Fractions and Homotopies. - Alexander Kurz 001; Jirí Rosický (Appl. Categorical Struct., 2005)

Coalgebraic modal logic of finite rank. - Alexander Kurz 001; Dirk Pattinson (Math. Struct. Comput. Sci., 2005)

Operations and equations for coalgebras. - Alexander Kurz 001; Jirí Rosický (Math. Struct. Comput. Sci., 2005)

Presenting Functors by Operations and Equations. - Marcello M. Bonsangue; Alexander Kurz 001 (FoSSaCS, 2006)

Logic Column 15: Coalgebras and Their Logics - Alexander Kurz 001 (CoRR, 2006)

Coalgebras and their logics. - Alexander Kurz 001 (SIGACT News, 2006)

Free Modal Algebras: A Coalgebraic Perspective. - Nick Bezhanishvili; Alexander Kurz 001 (CALCO, 2007)

Higher Dimensional Trees, Algebraically. - Neil Ghani; Alexander Kurz 001 (CALCO, 2007)

The Goldblatt-Thomason Theorem for Coalgebras. - Alexander Kurz 001; Jirí Rosický (CALCO, 2007)

Pi-Calculus in Logical Form. - Marcello M. Bonsangue; Alexander Kurz 001 (LICS, 2007)

Completeness of the finitary Moss logic. - Clemens Kupke; Alexander Kurz 001; Yde Venema (Advances in Modal Logic, 2008)

Modal Logics are Coalgebraic. - Corina Cîrstea; Alexander Kurz 001; Dirk Pattinson; Lutz Schröder; Yde Venema (BCS Int. Acad. Conf., 2008)

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties. - Alexander Kurz 001; Daniela Petrisan (CMCS, 2008)

09502 Abstracts Collection - Coalgebraic Logics. - Ernst-Erich Doberkat; Alexander Kurz 001 (Coalgebraic Logics, 2009)

Equational Coalgebraic Logic. - Alexander Kurz 001; Raul Andres Leal (MFPS, 2009)

Coalgebraic Lindströom Theorems. - Alexander Kurz 001; Yde Venema (Advances in Modal Logic, 2010)

Algebraic Theories over Nominal Sets - Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CoRR, 2010)

Families of Symmetries as Efficient Models of Resource Binding. - Vincenzo Ciancia; Alexander Kurz 001; Ugo Montanari (CMCS@ETAPS, 2010)

Presenting functors on many-sorted varieties and applications. - Alexander Kurz 001; Daniela Petrisan (Inf. Comput., 2010)

Coalgebra and Logic: A Brief Overview. - Alexander Kurz 001; Alessandra Palmigiano; Yde Venema (J. Log. Comput., 2010)

Bitopological duality for distributive lattices and Heyting algebras. - Guram Bezhanishvili; Nick Bezhanishvili; David Gabelaia; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2010)

On universal algebra over nominal sets. - Alexander Kurz 001; Daniela Petrisan (Math. Struct. Comput. Sci., 2010)

Finitary Functors: From Set to Preord and Poset. - Adriana Balan; Alexander Kurz 001 (CALCO, 2011)

Relation Liftings on Preorders and Posets. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (CALCO, 2011)

Towards Nominal Formal Languages - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (CoRR, 2011)

Generic Trace Logics - Christian Kissig; Alexander Kurz 001 (CoRR, 2011)

Foreword: special issue on coalgebraic logic. - Ernst-Erich Doberkat; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2011)

Equational presentations of functors and monads. - Jirí Velebil; Alexander Kurz 001 (Math. Struct. Comput. Sci., 2011)

On coalgebras over algebras. - Adriana Balan; Alexander Kurz 001 (Theor. Comput. Sci., 2011)

Expressiveness of Positive Coalgebraic Logic. - Krzysztof Kapulkin; Alexander Kurz 001; Jirí Velebil (Advances in Modal Logic, 2012)

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus. - Alexander Kurz 001; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CMCS, 2012)

On Nominal Regular Languages with Binders. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (FoSSaCS, 2012)

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (IFIP TCS, 2012)

Completeness for the coalgebraic cover modality - Clemens Kupke; Alexander Kurz 001; Yde Venema (Log. Methods Comput. Sci., 2012)

Strongly Complete Logics for Coalgebras - Alexander Kurz 001; Jirí Rosický (Log. Methods Comput. Sci., 2012)

Coalgebraic Logics (Dagstuhl Seminar 12411). - Ernst-Erich Doberkat; Alexander Kurz 001 (Dagstuhl Reports, 2012)

Modalities in the Stone age: A comparison of coalgebraic logics. - Alexander Kurz 001; Raul Andres Leal (Theor. Comput. Sci., 2012)

Positive Fragments of Coalgebraic Logics. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (CALCO, 2013)

Presenting Distributive Laws. - Marcello M. Bonsangue; Helle Hvid Hansen; Alexander Kurz 001; Jurriaan Rot (CALCO, 2013)

Dynamic Epistemic Logic Displayed. - Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (LORI, 2013)

Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge. - Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (TACL, 2013)

Enriched Logical Connections. - Alexander Kurz 001; Jirí Velebil (Appl. Categorical Struct., 2013)

Relation lifting, with an application to the many-valued cover modality. - Marta Bílková; Alexander Kurz 001; Daniela Petrisan; Jirí Velebil (Log. Methods Comput. Sci., 2013)

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract. - Alexander Kurz 001; Tomoyuki Suzuki 001; Emilio Tuosto (CoRR, 2013)

Epistemic Updates on Algebras. - Alexander Kurz 001; Alessandra Palmigiano (Log. Methods Comput. Sci., 2013)

Nominal Coalgebraic Data Types with Applications to Lambda Calculus. - Alexander Kurz 001; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (Log. Methods Comput. Sci., 2013)

Nominal Computation Theory (Dagstuhl Seminar 13422). - Mikolaj Bojanczyk; Bartek Klin; Alexander Kurz 001; Andrew M. Pitts (Dagstuhl Reports, 2013)

Simplified Coalgebraic Trace Equivalence. - Alexander Kurz 001; Stefan Milius; Dirk Pattinson; Lutz Schröder (Software, Services, and Systems, 2015)

Extensions of Functors From Set to V-cat. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (CALCO, 2015)

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes. - Alexander Kurz 001; Alberto Pardo; Daniela Petrisan; Paula Severi; Fer-Jan de Vries (CALCO, 2015)

Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042). - Samson Abramsky; Alexander Kurz 001; Pierre Lescanne; Viktor Winschel (Dagstuhl Reports, 2015)

On the Logic of Generalised Metric Spaces. - Octavian Babus; Alexander Kurz 001 (CMCS, 2016)

Tool support for reasoning in display calculi. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (CoRR, 2016)

Relation lifting, a survey. - Alexander Kurz 001; Jirí Velebil (J. Log. Algebraic Methods Program., 2016)

Multi-type display calculus for propositional dynamic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (J. Log. Comput., 2016)

A proof-theoretic semantic analysis of dynamic epistemic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano; Vlasta Sikimic (J. Log. Comput., 2016)

Multi-type display calculus for dynamic epistemic logic. - Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano; Vlasta Sikimic (J. Log. Comput., 2016)

The Positivication of Coalgebraic Logics. - Fredrik Dahlqvist; Alexander Kurz 001 (CALCO, 2017)

Features of Agent-based Models. - Reiko Heckel; Alexander Kurz 001; Edmund Chattoe-Brown (GaM@ETAPS, 2017)

An institutional approach to positive coalgebraic logic. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (J. Log. Comput., 2017)

Quasivarieties and varieties of ordered algebras: regularity and exactness. - Alexander Kurz 001; Jirí Velebil (Math. Struct. Comput. Sci., 2017)

Software Tool Support for Modular Reasoning in Modal Logics of Actions. - Samuel Balco; Sabine Frittella; Giuseppe Greco 001; Alexander Kurz 001; Alessandra Palmigiano (ITP, 2018)

Nominal String Diagrams. - Samuel Balco; Alexander Kurz 001 (CALCO, 2019)

Interface Automata for Choreographies. - Hao Zeng 002; Alexander Kurz 001; Emilio Tuosto (ICE, 2019)

Stone Duality for Relations. - Alexander Kurz 001; M. Andrew Moshier; Achim Jung (CoRR, 2019)

Extending set functors to generalised metric spaces. - Adriana Balan; Alexander Kurz 001; Jirí Velebil (Log. Methods Comput. Sci., 2019)

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

An equational approach to enriched distributivity. - Adriana Balan; Alexander Kurz 001 (CoRR, 2021)

Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties. - Alexander Kurz 001; Wolfgang Poiger (CALCO, 2023)

Completeness of Nominal PROPs. - Samuel Balco; Alexander Kurz 001 (Log. Methods Comput. Sci., 2023)

Many-valued coalgebraic logic over semi-primal varieties. - Alexander Kurz 001; Wolfgang Poiger; Bruno Teheux (Log. Methods Comput. Sci., 2024)

Logic Enriched over a Quantale (Invited Talk). - Alexander Kurz 001 (CALCO, 2025)