Alexander Kurz

Orcid: 0000-0002-8685-5207

Affiliations:
  • Chapman University, Orange, CA, USA
  • University of Leicester, UK (former)
  • Ludwig Maximilian University of Munich, Germany (former)


According to our database1, Alexander Kurz authored at least 90 papers between 1998 and 2023.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2023
Completeness of Nominal PROPs.
Log. Methods Comput. Sci., 2023

Many-valued coalgebraic logic over semi-primal varieties.
CoRR, 2023

Many-Valued Coalgebraic Logic: From Boolean Algebras to Primal Varieties.
Proceedings of the 10th Conference on Algebra and Coalgebra in Computer Science, 2023

2021
An equational approach to enriched distributivity.
CoRR, 2021

2020
Logic-Induced Bisimulations.
Proceedings of the 13th Conference on Advances in Modal Logic, 2020

2019
Extending set functors to generalised metric spaces.
Log. Methods Comput. Sci., 2019

Stone Duality for Relations.
CoRR, 2019

Interface Automata for Choreographies.
Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

Nominal String Diagrams.
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.
Proceedings of the Interactive Theorem Proving - 9th International Conference, 2018

2017
Quasivarieties and varieties of ordered algebras: regularity and exactness.
Math. Struct. Comput. Sci., 2017

An institutional approach to positive coalgebraic logic.
J. Log. Comput., 2017

Features of Agent-based Models.
Proceedings of the Proceedings Third Workshop on Graphs as Models, 2017

The Positivication of Coalgebraic Logics.
Proceedings of the 7th Conference on Algebra and Coalgebra in Computer Science, 2017

2016
Multi-type display calculus for dynamic epistemic logic.
J. Log. Comput., 2016

A proof-theoretic semantic analysis of dynamic epistemic logic.
J. Log. Comput., 2016

Multi-type display calculus for propositional dynamic logic.
J. Log. Comput., 2016

Relation lifting, a survey.
J. Log. Algebraic Methods Program., 2016

Tool support for reasoning in display calculi.
CoRR, 2016

On the Logic of Generalised Metric Spaces.
Proceedings of the Coalgebraic Methods in Computer Science, 2016

2015
Coalgebraic Semantics of Reflexive Economics (Dagstuhl Seminar 15042).
Dagstuhl Reports, 2015

Presenting Distributive Laws.
Log. Methods Comput. Sci., 2015

Positive fragments of coalgebraic logics.
Log. Methods Comput. Sci., 2015

Approximation of Nested Fixpoints - A Coalgebraic View of Parametric Dataypes.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Extensions of Functors From Set to V-cat.
Proceedings of the 6th Conference on Algebra and Coalgebra in Computer Science, 2015

Simplified Coalgebraic Trace Equivalence.
Proceedings of the Software, 2015

2013
Nominal Computation Theory (Dagstuhl Seminar 13422).
Dagstuhl Reports, 2013

Nominal Coalgebraic Data Types with Applications to Lambda Calculus.
Log. Methods Comput. Sci., 2013

Epistemic Updates on Algebras.
Log. Methods Comput. Sci., 2013

Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract.
CoRR, 2013

Relation lifting, with an application to the many-valued cover modality.
Log. Methods Comput. Sci., 2013

Enriched Logical Connections.
Appl. Categorical Struct., 2013

Dynamic sequent calculus for the logic of Epistemic Actions and Knowledge.
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.
Proceedings of the Logic, Rationality, and Interaction - 4th International Workshop, 2013

2012
Modalities in the Stone age: A comparison of coalgebraic logics.
Theor. Comput. Sci., 2012

Coalgebraic Logics (Dagstuhl Seminar 12411).
Dagstuhl Reports, 2012

Strongly Complete Logics for Coalgebras
Log. Methods Comput. Sci., 2012

Completeness for the coalgebraic cover modality
Log. Methods Comput. Sci., 2012

A Characterisation of Languages on Infinite Alphabets with Nominal Regular Expressions.
Proceedings of the Theoretical Computer Science, 2012

On Nominal Regular Languages with Binders.
Proceedings of the Foundations of Software Science and Computational Structures, 2012

An Alpha-Corecursion Principle for the Infinitary Lambda Calculus.
Proceedings of the Coalgebraic Methods in Computer Science - 11th International Workshop, 2012

Expressiveness of Positive Coalgebraic Logic.
Proceedings of the Advances in Modal Logic 9, 2012

2011
Equational presentations of functors and monads.
Math. Struct. Comput. Sci., 2011

Foreword: special issue on coalgebraic logic.
Math. Struct. Comput. Sci., 2011

Generic Trace Logics
CoRR, 2011

Towards Nominal Formal Languages
CoRR, 2011

Modal Logics are Coalgebraic.
Comput. J., 2011

Relation Liftings on Preorders and Posets.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

Finitary Functors: From Set to Preord and Poset.
Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010
On universal algebra over nominal sets.
Math. Struct. Comput. Sci., 2010

Bitopological duality for distributive lattices and Heyting algebras.
Math. Struct. Comput. Sci., 2010

Coalgebra and Logic: A Brief Overview.
J. Log. Comput., 2010

Presenting functors on many-sorted varieties and applications.
Inf. Comput., 2010

Families of Symmetries as Efficient Models of Resource Binding.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

On Coalgebras over Algebras.
Proceedings of the Tenth Workshop on Coalgebraic Methods in Computer Science, 2010

Algebraic Theories over Nominal Sets
CoRR, 2010

Coalgebraic Lindströom Theorems.
Proceedings of the Advances in Modal Logic 8, 2010

2009
Equational Coalgebraic Logic.
Proceedings of the 25th Conference on Mathematical Foundations of Programming Semantics, 2009

09502 Abstracts Collection - Coalgebraic Logics.
Proceedings of the Coalgebraic Logics, 06.12. - 09.12.2009, 2009

2008
Functorial Coalgebraic Logic: The Case of Many-sorted Varieties.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008

Completeness of the finitary Moss logic.
Proceedings of the Advances in Modal Logic 7, 2008

2007
Pi-Calculus in Logical Form.
Proceedings of the 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 2007

The Goldblatt-Thomason Theorem for Coalgebras.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Higher Dimensional Trees, Algebraically.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

Free Modal Algebras: A Coalgebraic Perspective.
Proceedings of the Algebra and Coalgebra in Computer Science, 2007

2006
Coalgebras and their logics.
SIGACT News, 2006

Logic Column 15: Coalgebras and Their Logics
CoRR, 2006

Presenting Functors by Operations and Equations.
Proceedings of the Foundations of Software Science and Computation Structures, 2006

2005
Operations and equations for coalgebras.
Math. Struct. Comput. Sci., 2005

Coalgebraic modal logic of finite rank.
Math. Struct. Comput. Sci., 2005

Weak Factorizations, Fractions and Homotopies.
Appl. Categorical Struct., 2005

Duality for Logics of Transition Systems.
Proceedings of the Foundations of Software Science and Computational Structures, 2005

Ultrafilter Extensions for Coalgebras.
Proceedings of the Algebra and Coalgebra in Computer Science: First International Conference, 2005

2004
Coalgebras and Modal Expansions of Logics.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

Algebraic Semantics for Coalgebraic Logics.
Proceedings of the Workshop on Coalgebraic Methods in Computer Science, 2004

2003
Observational logic, constructor-based logic, and their duality.
Theor. Comput. Sci., 2003

Stone Coalgebras.
Proceedings of the 6th International Workshop on Coalgebraic Methods in Computer Science, 2003

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

2002
On institutions for modular coalgebraic specifications.
Theor. Comput. Sci., 2002

Modal Predicates and Co-equations.
Proceedings of the Coalgebraic Methods in Computer Science, 2002

Definability, Canonical Models, and Compactness for Finitary Coalgebraic Modal Logic.
Proceedings of the Coalgebraic Methods in Computer Science, 2002

Preface.
Proceedings of the Categorical Methods for Concurrency, 2002

Notions of Behaviour and Reachable-Part and Their Institutions.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2002

Logics Admitting Final Semantics.
Proceedings of the Foundations of Software Science and Computation Structures, 2002

2001
Modal Rules are Co-Implications.
Proceedings of the Coalgebraic Methods in Computer Science, 2001

On the Duality between Observability and Reachability.
Proceedings of the Foundations of Software Science and Computation Structures, 2001

2000
Notes on Coalgebras, Cofibrations and Concurrency.
Proceedings of the Coalgebraic Methods in Computer Science, 2000

1999
(Omega, Xi)-Logic: On the Algebraic Extension of Coalgebraic Specifications.
Proceedings of the Coalgebraic Methods in Computer Science, 1999

1998
Specifying Coalgebras with Modal Logic.
Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

A Co-Variety-Theorem for Modal Logic.
Proceedings of the Advances in Modal Logic 2, 1998


  Loading...