Alexander Kurz

According to our database, Alexander Kurz authored at least 90 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Many-valued coalgebraic logic over semi-primal varieties.

Alexander Kurz, Wolfgang Poiger, Bruno Teheux

Log. Methods Comput. Sci., 2024

2023

Completeness of Nominal PROPs.

Samuel Balco, Alexander Kurz

Log. Methods Comput. Sci., 2023

Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties.

Alexander Kurz, Wolfgang Poiger

Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2021

An equational approach to enriched distributivity.

Adriana Balan, Alexander Kurz

CoRR, 2021

2020

Logic-Induced Bisimulations.

Jim de Groot, Helle Hvid Hansen, Alexander Kurz

Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019

Extending set functors to generalised metric spaces.

Adriana Balan, Alexander Kurz, Jirí Velebil

Log. Methods Comput. Sci., 2019

Stone Duality for Relations.

Alexander Kurz, M. Andrew Moshier, Achim Jung

CoRR, 2019

Interface Automata for Choreographies.

Hao Zeng, Alexander Kurz, Emilio Tuosto

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

Nominal String Diagrams.

Samuel Balco, Alexander Kurz

Proceedings of the 8th Conference on Algebra and Coalgebra in Computer Science, 2019

2018

Software Tool Support for Modular Reasoning in Modal Logics of Actions.

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017

Quasivarieties and varieties of ordered algebras: regularity and exactness.

Alexander Kurz, Jirí Velebil

Math. Struct. Comput. Sci., 2017

An institutional approach to positive coalgebraic logic.

Adriana Balan, Alexander Kurz, Jirí Velebil

J. Log. Comput., 2017

Features of Agent-based Models.

Reiko Heckel, Alexander Kurz, Edmund Chattoe-Brown

Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

The Positivication of Coalgebraic Logics.

Fredrik Dahlqvist, Alexander Kurz

Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016

Multi-type display calculus for dynamic epistemic logic.

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic

J. Log. Comput., 2016

A proof-theoretic semantic analysis of dynamic epistemic logic.

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano, Vlasta Sikimic

J. Log. Comput., 2016

Multi-type display calculus for propositional dynamic logic.

Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

J. Log. Comput., 2016

Relation lifting, a survey.

Alexander Kurz, Jirí Velebil

J. Log. Algebraic Methods Program., 2016

Tool support for reasoning in display calculi.

Samuel Balco, Sabine Frittella, Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

CoRR, 2016

On the Logic of Generalised Metric Spaces.

Octavian Babus, Alexander Kurz

Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015

Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042).

Samson Abramsky, Alexander Kurz, Pierre Lescanne, Viktor Winschel

Dagstuhl Reports, 2015

Presenting Distributive Laws.

Marcello M. Bonsangue, Helle Hvid Hansen, Alexander Kurz, Jurriaan Rot

Log. Methods Comput. Sci., 2015

Positive fragments of coalgebraic logics.

Adriana Balan, Alexander Kurz, Jirí Velebil

Log. Methods Comput. Sci., 2015

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.

Alexander Kurz, Alberto Pardo, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Extensions of Functors From Set to V-cat.

Adriana Balan, Alexander Kurz, Jirí Velebil

Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Simplified Coalgebraic Trace Equivalence.

Alexander Kurz, Stefan Milius, Dirk Pattinson, Lutz Schröder

Proceedings of the Software, 2015

2013

Nominal Computation Theory (Dagstuhl Seminar 13422).

Mikolaj Bojanczyk, Bartek Klin, Alexander Kurz, Andrew M. Pitts

Dagstuhl Reports, 2013

Nominal Coalgebraic Data Types with Applications to Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Log. Methods Comput. Sci., 2013

Epistemic Updates on Algebras.

Alexander Kurz, Alessandra Palmigiano

Log. Methods Comput. Sci., 2013

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract.

Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

CoRR, 2013

Relation lifting, with an application to the many-valued cover modality.

Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil

Log. Methods Comput. Sci., 2013

Enriched Logical Connections.

Alexander Kurz, Jirí Velebil

Appl. Categorical Struct., 2013

Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.

Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the TACL 2013. Sixth International Conference on Topology, Algebra and Categories in Logic, Vanderbilt University, Nashville, Tennessee, USA, July 28, 2013

Dynamic Epistemic Logic Displayed.

Giuseppe Greco, Alexander Kurz, Alessandra Palmigiano

Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012

Modalities in the Stone age: A comparison of coalgebraic logics.

Alexander Kurz, Raul Andres Leal

Theor. Comput. Sci., 2012

Coalgebraic Logics (Dagstuhl Seminar 12411).

Ernst-Erich Doberkat, Alexander Kurz

Dagstuhl Reports, 2012

Strongly Complete Logics for Coalgebras

Alexander Kurz, Jirí Rosický

Log. Methods Comput. Sci., 2012

Completeness for the coalgebraic cover modality

Clemens Kupke, Alexander Kurz, Yde Venema

Log. Methods Comput. Sci., 2012

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.

Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Proceedings of the Theoretical Computer Science, 2012

On Nominal Regular Languages with Binders.

Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

Proceedings of the Foundations of Software Science and Computational Structures, 2012

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.

Alexander Kurz, Daniela Petrisan, Paula Severi, Fer-Jan de Vries

Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

Expressiveness of Positive Coalgebraic Logic.

Krzysztof Kapulkin, Alexander Kurz, Jirí Velebil

Proceedings of the Advances in Modal Logic 9, 2012

2011

On coalgebras over algebras.

Adriana Balan, Alexander Kurz

Theor. Comput. Sci., 2011

Equational presentations of functors and monads.

Jirí Velebil, Alexander Kurz

Math. Struct. Comput. Sci., 2011

Foreword: special issue on coalgebraic logic.

Ernst-Erich Doberkat, Alexander Kurz

Math. Struct. Comput. Sci., 2011

Generic Trace Logics

Christian Kissig, Alexander Kurz

CoRR, 2011

Towards Nominal Formal Languages

Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto

CoRR, 2011

Modal Logics are Coalgebraic.

Corina Cîrstea, Alexander Kurz, Dirk Pattinson, Lutz Schröder, Yde Venema

Comput. J., 2011

Relation Liftings on Preorders and Posets.

Marta Bílková, Alexander Kurz, Daniela Petrisan, Jirí Velebil

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Finitary Functors: From Set to Preord and Poset.

Adriana Balan, Alexander Kurz

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

On universal algebra over nominal sets.

Alexander Kurz, Daniela Petrisan

Math. Struct. Comput. Sci., 2010

Bitopological duality for distributive lattices and Heyting algebras.

Guram Bezhanishvili, Nick Bezhanishvili, David Gabelaia, Alexander Kurz

Math. Struct. Comput. Sci., 2010

Coalgebra and Logic: A Brief Overview.

Alexander Kurz, Alessandra Palmigiano, Yde Venema

J. Log. Comput., 2010

Presenting functors on many-sorted varieties and applications.

Alexander Kurz, Daniela Petrisan

Inf. Comput., 2010

Families of Symmetries as Efficient Models of Resource Binding.

Vincenzo Ciancia, Alexander Kurz, Ugo Montanari

Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Algebraic Theories over Nominal Sets

Alexander Kurz, Daniela Petrisan, Jirí Velebil

CoRR, 2010

Coalgebraic Lindströom Theorems.

Alexander Kurz, Yde Venema

Proceedings of the Advances in Modal Logic 8, 2010

2009

Equational Coalgebraic Logic.

Alexander Kurz, Raul Andres Leal

Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

09502 Abstracts Collection - Coalgebraic Logics.

Ernst-Erich Doberkat, Alexander Kurz

Proceedings of the Coalgebraic Logics, 06.12. - 09.12.2009, 2009

2008

Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.

Alexander Kurz, Daniela Petrisan

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Completeness of the finitary Moss logic.

Clemens Kupke, Alexander Kurz, Yde Venema

Proceedings of the Advances in Modal Logic 7, 2008

2007

Pi-Calculus in Logical Form.

Marcello M. Bonsangue, Alexander Kurz

Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

The Goldblatt-Thomason Theorem for Coalgebras.

Alexander Kurz, Jirí Rosický

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Higher Dimensional Trees, Algebraically.

Neil Ghani, Alexander Kurz

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Free Modal Algebras: A Coalgebraic Perspective.

Nick Bezhanishvili, Alexander Kurz

Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006

Coalgebras and their logics.

Alexander Kurz

SIGACT News, 2006

Logic Column 15: Coalgebras and Their Logics

Alexander Kurz

CoRR, 2006

Presenting Functors by Operations and Equations.

Marcello M. Bonsangue, Alexander Kurz

Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005

Operations and equations for coalgebras.

Alexander Kurz, Jirí Rosický

Math. Struct. Comput. Sci., 2005

Coalgebraic modal logic of finite rank.

Alexander Kurz, Dirk Pattinson

Math. Struct. Comput. Sci., 2005

Weak Factorizations, Fractions and Homotopies.

Alexander Kurz, Jirí Rosický

Appl. Categorical Struct., 2005

Duality for Logics of Transition Systems.

Marcello M. Bonsangue, Alexander Kurz

Proceedings of the Foundations of Software Science and Computational Structures, 2005

Ultrafilter Extensions for Coalgebras.

Clemens Kupke, Alexander Kurz, Dirk Pattinson

Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004

Stone coalgebras.

Clemens Kupke, Alexander Kurz, Yde Venema

Theor. Comput. Sci., 2004

Coalgebras and Modal Expansions of Logics.

Alexander Kurz, Alessandra Palmigiano

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Algebraic Semantics for Coalgebraic Logics.

Clemens Kupke, Alexander Kurz, Dirk Pattinson

Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2003

Observational logic, constructor-based logic, and their duality.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Theor. Comput. Sci., 2003

Preface.

Thomas T. Hildebrandt, Alexander Kurz

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

2002

On institutions for modular coalgebraic specifications.

Alexander Kurz, Rolf Hennicker

Theor. Comput. Sci., 2002

Modal Predicates and Co-equations.

Alexander Kurz, Jirí Rosický

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.

Alexander Kurz, Dirk Pattinson

Proceedings of the Coalgebraic Methods in Computer Science, 2002

Preface.

Alexander Kurz

Proceedings of the Categorical Methods for Concurrency, 2002

Notions of Behaviour and Reachable-Part and Their Institutions.

Alexander Kurz

Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Logics Admitting Final Semantics.

Alexander Kurz

Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001

Specifying coalgebras with modal logic.

Alexander Kurz

Theor. Comput. Sci., 2001

Modal Rules are Co-Implications.

Alexander Kurz

Proceedings of the Coalgebraic Methods in Computer Science, 2001

On the Duality between Observability and Reachability.

Michel Bidoit, Rolf Hennicker, Alexander Kurz

Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000

Notes on Coalgebras, Cofibrations and Concurrency.

Alexander Kurz, Dirk Pattinson

Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999

(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.

Rolf Hennicker, Alexander Kurz

Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998

A Co-Variety-Theorem for Modal Logic.

Alexander Kurz

Proceedings of the Advances in Modal Logic 2, 1998