Follow
Alexander Kurz
Title
Cited by
Cited by
Year
Specifying coalgebras with modal logic
A Kurz
Theoretical Computer Science 260 (1-2), 119-138, 2001
195*2001
Stone coalgebras
C Kupke, A Kurz, Y Venema
Theoretical Computer Science 327 (1), 109-134, 2004
175*2004
Logics for coalgebras and applications to computer science
A Kurz
BoD–Books on Demand, 2001
1652001
Modal Logics are Coalgebraic
C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema
The Computer Journal 54 (1), 31-41, 2011
1122011
Duality for logics of transition systems
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2005
862005
Algebraic semantics for coalgebraic logics
C Kupke, A Kurz, D Pattinson
Electronic Notes in Theoretical Computer Science 106, 219-241, 2004
762004
Bitopological duality for distributive lattices and Heyting algebras
G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz
Mathematical Structures in Computer Science 20 (3), 359-393, 2010
662010
Multi-type display calculus for dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
Journal of Logic and Computation 26 (6), 2017-2065, 2016
632016
Completeness for the coalgebraic cover modality
C Kupke, A Kurz, Y Venema
Logical Methods in Computer Science 8 (3:2), 1-76, 2012
63*2012
A Co-Variety-Theorem for Modal Logic.
A Kurz
Advances in Modal Logic 2, 367-380, 1998
581998
Multi-type sequent calculi
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic
arXiv preprint arXiv:1609.05343, 2016
552016
Multi-type display calculus for propositional dynamic logic
S Frittella, G Greco, A Kurz, A Palmigiano
arXiv preprint arXiv:1805.09144, 2018
542018
Presenting functors by operations and equations
MM Bonsangue, A Kurz
International Conference on Foundations of Software Science and Computation …, 2006
542006
Epistemic updates on algebras
AA Palmigiano, AA Kurz
Logical Methods in Computer Science 9, 2013
502013
Ultrafilter extensions for coalgebras
C Kupke, A Kurz, D Pattinson
International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005
502005
A proof-theoretic semantic analysis of dynamic epistemic logic
S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimić
Journal of Logic and Computation 26 (6), 1961-2015, 2016
472016
Strongly complete logics for coalgebras
A Kurz, J Rosický
Logical Methods in Computer Science 8 (3:14), 1-32, 2012
47*2012
Observational logic, constructor-based logic, and their duality
M Bidoit, R Hennicker, A Kurz
Theoretical Computer Science 298 (3), 471-510, 2003
472003
Dynamic epistemic logic displayed
G Greco, A Kurz, A Palmigiano
International Workshop on Logic, Rationality and Interaction, 135-148, 2013
462013
Presenting distributive laws
MM Bonsangue, HH Hansen, A Kurz, J Rot
International Conference on Algebra and Coalgebra in Computer Science, 95-109, 2013
442013
The system can't perform the operation now. Try again later.
Articles 1–20