×

zbMATH — the first resource for mathematics

Kurz, Alexander

Compute Distance To:
Author ID: kurz.alexander Recent zbMATH articles by "Kurz, Alexander"
Published as: Kurz, Alexander; Kurz, A.
Homepage: http://www.cs.le.ac.uk/people/akurz/
External Links: MGP
Documents Indexed: 76 Publications since 1998, including 4 Books

Publications by Year

Citations contained in zbMATH Open

65 Publications have been cited 371 times in 209 Documents Cited by Year
Logics for coalgebras and applications to computer science. Zbl 0995.08001
Kurz, Alexander
32
2000
Stone coalgebras. Zbl 1075.68053
Kupke, Clemens; Kurz, Alexander; Venema, Yde
22
2004
Specifying coalgebras with modal logic. Zbl 0974.68034
Kurz, A.
20
2001
Algebraic semantics for coalgebraic logics. Zbl 1271.03031
Kupke, Clemens; Kurz, Alexander; Pattinson, Dirk
16
2004
Specifying coalgebras with modal logic. Zbl 0917.68134
Kurz, Alexander
12
1998
Epistemic updates on algebras. Zbl 1330.03035
Kurz, Alexander; Palmigiano, Alessandra
12
2013
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
12
2010
Duality for logics of transition systems. Zbl 1119.03021
Bonsangue, Marcello M.; Kurz, Alexander
11
2005
A co-variety-theorem for modal logic. Zbl 0993.03019
Kurz, Alexander
10
2001
The Goldblatt-Thomason theorem for coalgebras. Zbl 1214.03017
Kurz, Alexander; Rosický, Jiří
10
2007
Coalgebraic modal logic of finite rank. Zbl 1135.18300
Kurz, Alexander; Pattinson, Dirk
9
2005
Multi-type display calculus for dynamic epistemic logic. Zbl 1403.03027
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
9
2016
Presenting functors by operations and equations. Zbl 1180.68182
Bonsangue, Marcello M.; Kurz, Alexander
9
2006
Families of symmetries as efficient models of resource binding. Zbl 1247.68172
Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo
8
2010
Dynamic epistemic logic displayed. Zbl 1407.03019
Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
8
2013
Observational logic, constructor-based logic, and their duality. Zbl 1038.68079
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
8
2003
Multi-type display calculus for propositional dynamic logic. Zbl 1403.03025
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
8
2016
Strongly complete logics for coalgebras. Zbl 1263.03063
Kurz, Alexander; Rosický, Jiří
7
2012
Coalgebraic representations of distributive lattices with operators. Zbl 1108.06005
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M.
7
2007
Completeness for the coalgebraic cover modality. Zbl 1261.18006
Kupke, Clemens; Kurz, Alexander; Venema, Yde
7
2012
Completeness of the finitary Moss logic. Zbl 1233.03029
Kupke, Clemens; Kurz, Alexander; Venema, Yde
6
2008
A proof-theoretic semantic analysis of dynamic epistemic logic. Zbl 1403.03026
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
6
2016
Equational presentations of functors and monads. Zbl 1235.18003
Velebil, Jiří; Kurz, Alexander
5
2011
Presenting distributive laws. Zbl 1394.68238
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
5
2013
On the duality between observability and reachability. Zbl 0986.68018
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
5
2001
Weak factorizations, fractions and homotopies. Zbl 1077.18002
Kurz, Alexander; Rosický, Jiří
5
2005
Nominal coalgebraic data types with applications to lambda calculus. Zbl 1314.68189
Kurz, Alexander; Petrisan, Daniela Luan; Severi, Paula; De Vries, Fer-Jan
5
2013
On universal algebra over nominal sets. Zbl 1193.08004
Kurz, Alexander; Petrişan, Daniela
5
2010
Free modal algebras: a coalgebraic perspective. Zbl 1214.03052
Bezhanishvili, N.; Kurz, A.
5
2007
Ultrafilter extensions for coalgebras. Zbl 1151.03357
Kupke, C.; Kurz, A.; Pattinson, D.
5
2005
Enriched logical connections. Zbl 1298.18007
Kurz, Alexander; Velebil, Jiří
4
2013
Positive fragments of coalgebraic logics. Zbl 1394.03035
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
4
2013
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
4
2012
On institutions for modular coalgebraic specifications. Zbl 1052.68089
Kurz, Alexander; Hennicker, Rolf
4
2002
Coalgebraic Lindström theorems. Zbl 1254.03121
Kurz, Alexander; Venema, Yde
4
2010
Finitary functors: from Set to Preord and Poset. Zbl 1343.18001
Balan, Adriana; Kurz, Alexander
3
2011
On coalgebras over algebras. Zbl 1232.68089
Balan, A.; Kurz, A.
3
2011
Modal predicates and coequations. Zbl 1270.18016
Kurz, Alexander; Rosický, Jiří
3
2002
Relation lifting, with an application to the many-valued cover modality. Zbl 1287.18008
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
3
2013
\((\Omega,\Xi)\)-logic: On the algebraic extension of coalgebraic specifications. Zbl 0918.68064
Hennicker, Rolf; Kurz, Alexander
3
1999
Equational coalgebraic logic. Zbl 1337.03093
Kurz, Alexander; Leal, Raul
3
2009
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
3
2016
Modal rules are co-implications. Zbl 1260.68243
Kurz, Alexander
3
2001
On nominal regular languages with binders. Zbl 1352.68133
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
3
2012
Quasivarieties and varieties of ordered algebras: regularity and exactness. Zbl 1423.08007
Kurz, Alexander; Velebil, Jiří
3
2015
Relation liftings on preorders and posets. Zbl 1343.18003
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
2
2011
Presenting functors on many-sorted varieties and applications. Zbl 1252.18009
Kurz, Alexander; Petrişan, Daniela
2
2010
Presenting distributive laws. Zbl 1448.68324
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
2
2015
Positive fragments of coalgebraic logics. Zbl 1337.03024
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
2
2015
An alpha-corecursion principle for the infinitary lambda calculus. Zbl 1328.03008
Kurz, Alexander; Petrişan, Daniela; Severi, Paula; de Vries, Fer-Jan
2
2012
Logics admitting final semantics. Zbl 1077.03510
Kurz, Alexander
2
2002
Functorial coalgebraic logic: the case of many-sorted varieties. Zbl 1279.03085
Kurz, Alexander; Petrişan, Daniela
2
2008
A characterisation of languages on infinite alphabets with nominal regular expressions. Zbl 1362.68148
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
2
2012
Software tool support for modular reasoning in modal logics of actions. Zbl 06946973
Balco, Samuel; Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
2
2018
On the logic of generalised metric spaces. Zbl 06603969
Babus, Octavian; Kurz, Alexander
2
2016
Modalities in the Stone age: a comparison of coalgebraic logics. Zbl 1250.03126
Kurz, Alexander; Leal, Raul
2
2012
Extensions of functors from Set to \({\mathcal V}\)-cat. Zbl 1366.18003
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
2
2015
On coalgebras over algebras. Zbl 1247.68171
Balan, Adriana; Kurz, Alexander
1
2010
Stone coalgebras. Zbl 1270.03142
Kupke, Clemens; Kurz, Alexander; Venema, Yde
1
2003
Operations and equations for coalgebras. Zbl 1066.08005
Kurz, Alexander; Rosický, Jiří
1
2005
Anomalous magnetic moment with heavy virtual leptons. Zbl 1284.81312
Kurz, Alexander; Liu, Tao; Marquard, Peter; Steinhauser, Matthias
1
2014
Editorial. Coalgebra and logic: a brief overview. Zbl 1211.03102
Kurz, Alexander; Palmigiano, Alessandra; Venema, Yde
1
2010
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
1
2015
Extending set functors to generalised metric spaces. Zbl 1408.18005
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
2019
The positivication of coalgebraic logics. Zbl 1433.03160
Dahlqvist, Fredrik; Kurz, Alexander
1
2017
Extending set functors to generalised metric spaces. Zbl 1408.18005
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
1
2019
Software tool support for modular reasoning in modal logics of actions. Zbl 06946973
Balco, Samuel; Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
2
2018
The positivication of coalgebraic logics. Zbl 1433.03160
Dahlqvist, Fredrik; Kurz, Alexander
1
2017
Multi-type display calculus for dynamic epistemic logic. Zbl 1403.03027
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
9
2016
Multi-type display calculus for propositional dynamic logic. Zbl 1403.03025
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
8
2016
A proof-theoretic semantic analysis of dynamic epistemic logic. Zbl 1403.03026
Frittella, Sabine; Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra; Sikimić, Vlasta
6
2016
Relation lifting, a survey. Zbl 1344.68167
Kurz, Alexander; Velebil, Jiří
3
2016
On the logic of generalised metric spaces. Zbl 06603969
Babus, Octavian; Kurz, Alexander
2
2016
Quasivarieties and varieties of ordered algebras: regularity and exactness. Zbl 1423.08007
Kurz, Alexander; Velebil, Jiří
3
2015
Presenting distributive laws. Zbl 1448.68324
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
2
2015
Positive fragments of coalgebraic logics. Zbl 1337.03024
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
2
2015
Extensions of functors from Set to \({\mathcal V}\)-cat. Zbl 1366.18003
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
2
2015
Simplified coalgebraic trace equivalence. Zbl 1453.68112
Kurz, Alexander; Milius, Stefan; Pattinson, Dirk; Schröder, Lutz
1
2015
Anomalous magnetic moment with heavy virtual leptons. Zbl 1284.81312
Kurz, Alexander; Liu, Tao; Marquard, Peter; Steinhauser, Matthias
1
2014
Epistemic updates on algebras. Zbl 1330.03035
Kurz, Alexander; Palmigiano, Alessandra
12
2013
Dynamic epistemic logic displayed. Zbl 1407.03019
Greco, Giuseppe; Kurz, Alexander; Palmigiano, Alessandra
8
2013
Presenting distributive laws. Zbl 1394.68238
Bonsangue, Marcello M.; Hansen, Helle Hvid; Kurz, Alexander; Rot, Jurriaan
5
2013
Nominal coalgebraic data types with applications to lambda calculus. Zbl 1314.68189
Kurz, Alexander; Petrisan, Daniela Luan; Severi, Paula; De Vries, Fer-Jan
5
2013
Enriched logical connections. Zbl 1298.18007
Kurz, Alexander; Velebil, Jiří
4
2013
Positive fragments of coalgebraic logics. Zbl 1394.03035
Balan, Adriana; Kurz, Alexander; Velebil, Jiří
4
2013
Relation lifting, with an application to the many-valued cover modality. Zbl 1287.18008
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
3
2013
Strongly complete logics for coalgebras. Zbl 1263.03063
Kurz, Alexander; Rosický, Jiří
7
2012
Completeness for the coalgebraic cover modality. Zbl 1261.18006
Kupke, Clemens; Kurz, Alexander; Venema, Yde
7
2012
Expressiveness of positive coalgebraic logic. Zbl 1291.03034
Kapulkin, Krzysztof; Kurz, Alexander; Velebil, Jiří
4
2012
On nominal regular languages with binders. Zbl 1352.68133
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
3
2012
An alpha-corecursion principle for the infinitary lambda calculus. Zbl 1328.03008
Kurz, Alexander; Petrişan, Daniela; Severi, Paula; de Vries, Fer-Jan
2
2012
A characterisation of languages on infinite alphabets with nominal regular expressions. Zbl 1362.68148
Kurz, Alexander; Suzuki, Tomoyuki; Tuosto, Emilio
2
2012
Modalities in the Stone age: a comparison of coalgebraic logics. Zbl 1250.03126
Kurz, Alexander; Leal, Raul
2
2012
Equational presentations of functors and monads. Zbl 1235.18003
Velebil, Jiří; Kurz, Alexander
5
2011
Finitary functors: from Set to Preord and Poset. Zbl 1343.18001
Balan, Adriana; Kurz, Alexander
3
2011
On coalgebras over algebras. Zbl 1232.68089
Balan, A.; Kurz, A.
3
2011
Relation liftings on preorders and posets. Zbl 1343.18003
Bílková, Marta; Kurz, Alexander; Petrişan, Daniela; Velebil, Jiří
2
2011
Bitopological duality for distributive lattices and Heyting algebras. Zbl 1193.06012
Bezhanishvili, Guram; Bezhanishvili, Nick; Gabelaia, David; Kurz, Alexander
12
2010
Families of symmetries as efficient models of resource binding. Zbl 1247.68172
Ciancia, Vincenzo; Kurz, Alexander; Montanari, Ugo
8
2010
On universal algebra over nominal sets. Zbl 1193.08004
Kurz, Alexander; Petrişan, Daniela
5
2010
Coalgebraic Lindström theorems. Zbl 1254.03121
Kurz, Alexander; Venema, Yde
4
2010
Presenting functors on many-sorted varieties and applications. Zbl 1252.18009
Kurz, Alexander; Petrişan, Daniela
2
2010
On coalgebras over algebras. Zbl 1247.68171
Balan, Adriana; Kurz, Alexander
1
2010
Editorial. Coalgebra and logic: a brief overview. Zbl 1211.03102
Kurz, Alexander; Palmigiano, Alessandra; Venema, Yde
1
2010
Equational coalgebraic logic. Zbl 1337.03093
Kurz, Alexander; Leal, Raul
3
2009
Completeness of the finitary Moss logic. Zbl 1233.03029
Kupke, Clemens; Kurz, Alexander; Venema, Yde
6
2008
Functorial coalgebraic logic: the case of many-sorted varieties. Zbl 1279.03085
Kurz, Alexander; Petrişan, Daniela
2
2008
The Goldblatt-Thomason theorem for coalgebras. Zbl 1214.03017
Kurz, Alexander; Rosický, Jiří
10
2007
Coalgebraic representations of distributive lattices with operators. Zbl 1108.06005
Bonsangue, M. M.; Kurz, A.; Rewitzky, I. M.
7
2007
Free modal algebras: a coalgebraic perspective. Zbl 1214.03052
Bezhanishvili, N.; Kurz, A.
5
2007
Presenting functors by operations and equations. Zbl 1180.68182
Bonsangue, Marcello M.; Kurz, Alexander
9
2006
Duality for logics of transition systems. Zbl 1119.03021
Bonsangue, Marcello M.; Kurz, Alexander
11
2005
Coalgebraic modal logic of finite rank. Zbl 1135.18300
Kurz, Alexander; Pattinson, Dirk
9
2005
Weak factorizations, fractions and homotopies. Zbl 1077.18002
Kurz, Alexander; Rosický, Jiří
5
2005
Ultrafilter extensions for coalgebras. Zbl 1151.03357
Kupke, C.; Kurz, A.; Pattinson, D.
5
2005
Operations and equations for coalgebras. Zbl 1066.08005
Kurz, Alexander; Rosický, Jiří
1
2005
Stone coalgebras. Zbl 1075.68053
Kupke, Clemens; Kurz, Alexander; Venema, Yde
22
2004
Algebraic semantics for coalgebraic logics. Zbl 1271.03031
Kupke, Clemens; Kurz, Alexander; Pattinson, Dirk
16
2004
Observational logic, constructor-based logic, and their duality. Zbl 1038.68079
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
8
2003
Stone coalgebras. Zbl 1270.03142
Kupke, Clemens; Kurz, Alexander; Venema, Yde
1
2003
On institutions for modular coalgebraic specifications. Zbl 1052.68089
Kurz, Alexander; Hennicker, Rolf
4
2002
Modal predicates and coequations. Zbl 1270.18016
Kurz, Alexander; Rosický, Jiří
3
2002
Logics admitting final semantics. Zbl 1077.03510
Kurz, Alexander
2
2002
Specifying coalgebras with modal logic. Zbl 0974.68034
Kurz, A.
20
2001
A co-variety-theorem for modal logic. Zbl 0993.03019
Kurz, Alexander
10
2001
On the duality between observability and reachability. Zbl 0986.68018
Bidoit, Michel; Hennicker, Rolf; Kurz, Alexander
5
2001
Modal rules are co-implications. Zbl 1260.68243
Kurz, Alexander
3
2001
Logics for coalgebras and applications to computer science. Zbl 0995.08001
Kurz, Alexander
32
2000
\((\Omega,\Xi)\)-logic: On the algebraic extension of coalgebraic specifications. Zbl 0918.68064
Hennicker, Rolf; Kurz, Alexander
3
1999
Specifying coalgebras with modal logic. Zbl 0917.68134
Kurz, Alexander
12
1998
all top 5

Cited by 247 Authors

20 Kurz, Alexander
10 Palmigiano, Alessandra
8 Bonchi, Filippo
8 Silva, Alexandra
8 Venema, Yde
7 Milius, Stefan
7 Montanari, Ugo G.
7 Pattinson, Dirk
7 Rot, Jurriaan
6 Bonsangue, Marcello Maria
6 Hofmann, Dirk
6 Petrisan, Daniela Luan
6 Sammartino, Matteo
6 Schröder, Lutz
6 Velebil, Jiří
5 Bezhanishvili, Nick
5 Greco, Giuseppe
5 Jacobs, Bart
5 Nora, Pedro
5 Rutten, Jan J. M. M.
4 Bezhanishvili, Guram
4 Bílková, Marta
4 Cîrstea, Corina
4 Goldblatt, Robert Ian
4 Klin, Bartek
4 Kozen, Dexter C.
4 Kupke, Clemens
4 Rivieccio, Umberto
4 Rosický, Jiří
4 Roşu, Grigore
4 Sokolova, Ana
3 Balan, Adriana
3 Bruni, Roberto
3 Ciancia, Vincenzo
3 Conradie, Willem J.
3 Futatsugi, Kokichi
3 Gaĭnă, Daniel
3 Gehrke, Mai
3 Hennicker, Rolf
3 Hughes, Jesse
3 Leal, Raul Andres
3 Liang, Fei
3 Litak, Tadeusz
3 Mardare, Radu
3 Moss, Lawrence S.
3 Ogata, Kazuhiro
3 van Ditmarsch, Hans Pieter
3 Wißmann, Thorsten
2 Adámek, Jiří
2 Bacci, Giorgio
2 Bidoit, Michel
2 Cabrer, Leonardo Manuel
2 Dahlqvist, Fredrik
2 Doberkat, Ernst-Erich
2 Endrullis, Jörg
2 Enqvist, Sebastian
2 Ferrari, Gian Luigi
2 Frittella, Sabine
2 Gabbay, Murdoch James
2 Gabelaia, David
2 Hansen, Helle Hvid
2 Hendriks, Dimitri
2 Holliday, Wesley H.
2 König, Barbara
2 Lata, A. N.
2 Levy, Paul Blain
2 Lucanu, Dorel
2 Madeira, Alexandre
2 Motoura, Shota
2 Neves, Renato
2 Panangaden, Prakash
2 Pous, Damien
2 Sousa, Lurdes
2 Spirito, Dario
2 Tholen, Walter
2 Tzimoulis, Apostolos
2 Zanasi, Fabio
1 Abramsky, Samson
1 Aceto, Luca
1 Acharjee, Santanu
1 Azevedo de Amorim, Arthur
1 Bacci, Giovanni
1 Bakhshi, Rena
1 Bakhtiari, Zeinab
1 Bakhtiarinoodeh, Zeinab
1 Ballester-Bolinches, Adolfo
1 Bartels, Falk
1 Bauer, Andrej
1 Benevides, Mario R. F.
1 Berger, Ulrich
1 Bernardo, Marco
1 Bozzelli, Laura
1 Brunner, Andreas Bernhard Michael
1 Bruun, Hans
1 Buscemi, Maria Grazia
1 Cabrera, Inma P.
1 Celani, Sergio Arturo
1 Chen, Liang-Ting
1 Cherchiglia, Adriano
1 Ciabattoni, Agata
...and 147 more Authors

Citations by Year