Alexander Kurz

Cited by

	All	Since 2016
Citations	2351	793
h-index	30	15
i10-index	54	30

200

100

150

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020218 20 62 42 61 54 37 99 119 83 71 130 138 126 137 143 178 158 192 144 157 128 14

Co-authors

Alessandra PalmigianoVrije Universiteit AmsterdamVerified email at vu.nl
Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Giuseppe GrecoUniversity of UtrechtVerified email at uu.nl
Marcello BonsangueProfessor of Computer Science, Leiden UniversityVerified email at liacs.leidenuniv.nl
Adriana BalanPolitehnica University of BucharestVerified email at mathem.pub.ro
Sabine FrittellaINSA Centre Val de LoireVerified email at insa-cvl.fr
Emilio TuostoGran Sasso Science InstituteVerified email at gssi.it
Vlasta SikimićUniversity of TübingenVerified email at uni-tuebingen.de
Corina CirsteaLecturer in Computer Science, University of SouthamptonVerified email at ecs.soton.ac.uk
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Michel BidoitLSV, CNRS & ENS Cachan, FranceVerified email at lsv.ens-cachan.fr
Helle Hvid HansenAssociate Professor at University of GroningenVerified email at rug.nl
Marta BilkovaResearcher, Institute of Computer Science, Czech Academy of SciencesVerified email at cs.cas.cz
Fer-Jan de VriesDepartment of Computer Science, University of LeicesterVerified email at mcs.le.ac.uk
Paula SeveriUniversity of LeicesterVerified email at leicester.ac.uk
Jurriaan RotUniversity College London & Radboud UniversityVerified email at cs.ru.nl
Chris KapulkinUniversity of Western OntarioVerified email at uwo.ca
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Vincenzo CianciaISTI-CNRVerified email at isti.cnr.it
Mohammad Hammoudeh, ProfessorChair in Cyber Security, Manchester Metropolitan UniversityVerified email at mmu.ac.uk

Alexander Kurz

Chapman University

Verified email at chapman.edu - Homepage

modal logic coalgebra category theory theoretical computer science


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Specifying coalgebras with modal logic A Kurz Theoretical Computer Science 260 (1-2), 119-138, 2001	185*	2001
Logics for coalgebras and applications to computer science A Kurz BoD–Books on Demand, 2001	153	2001
Stone coalgebras C Kupke, A Kurz, Y Venema Theoretical Computer Science 327 (1), 109-134, 2004	147*	2004
Modal Logics are Coalgebraic C Cîrstea, A Kurz, D Pattinson, L Schröder, Y Venema The Computer Journal 54 (1), 31-41, 2011	97	2011
Duality for logics of transition systems MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2005	80	2005
Algebraic semantics for coalgebraic logics C Kupke, A Kurz, D Pattinson Electronic Notes in Theoretical Computer Science 106, 219-241, 2004	72	2004
Completeness for the coalgebraic cover modality C Kupke, A Kurz, Y Venema Logical Methods in Computer Science 8 (3:2), 1-76, 2012	62*	2012
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	60	2016
Bitopological duality for distributive lattices and Heyting algebras G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz	55	2010
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	54	2006
A Co-Variety-Theorem for Modal Logic. A Kurz Advances in Modal Logic 2, 367-380, 1998	53	1998
Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018	51	2018
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	51	2016
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	47	2012
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005	47	2005
Observational logic, constructor-based logic, and their duality M Bidoit, R Hennicker, A Kurz Theoretical Computer Science 298 (3), 471-510, 2003	47	2003
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	44	2013
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	42	2016
Coalgebras and their logics A Kurz ACM SIGACT News 37 (2), 57-77, 2006	42	2006
The Goldblatt-Thomason theorem for coalgebras A Kurz, J Rosický International Conference on Algebra and Coalgebra in Computer Science, 342-355, 2007	41	2007

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Upload PDF

Follow this author

Cited by

Co-authors