Alexander Kurz

Cited by

	All	Since 2016
Citations	2321	782
h-index	29	15
i10-index	52	30

200

100

150

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920209 21 62 46 61 51 36 88 118 79 72 131 136 128 135 144 178 157 191 144 159 131

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	188*	2001
Logics for coalgebras and applications to computer science A Kurz BoD–Books on Demand, 2001	152	2001
Stone coalgebras C Kupke, A Kurz, Y Venema Theoretical Computer Science 327 (1), 109-134, 2004	143*	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	77	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	61*	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	58	2016
Bitopological duality for distributive lattices and Heyting algebras G Bezhanishvili, N Bezhanishvili, D Gabelaia, A Kurz	55	2010
A Co-Variety-Theorem for Modal Logic. A Kurz Advances in Modal Logic 2, 367-380, 1998	52	1998
Presenting functors by operations and equations MM Bonsangue, A Kurz International Conference on Foundations of Software Science and Computation …, 2006	51	2006
Multi-type display calculus for propositional dynamic logic S Frittella, G Greco, A Kurz, A Palmigiano arXiv preprint arXiv:1805.09144, 2018	50	2018
Multi-type sequent calculi S Frittella, G Greco, A Kurz, A Palmigiano, V Sikimic arXiv preprint arXiv:1609.05343, 2016	49	2016
Ultrafilter extensions for coalgebras C Kupke, A Kurz, D Pattinson International Conference on Algebra and Coalgebra in Computer Science, 263-277, 2005	47	2005
Strongly complete logics for coalgebras A Kurz, J Rosický Logical Methods in Computer Science 8 (3:14), 1-32, 2012	46	2012
Observational logic, constructor-based logic, and their duality M Bidoit, R Hennicker, A Kurz Theoretical Computer Science 298 (3), 471-510, 2003	45	2003
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	43	2016
Dynamic epistemic logic displayed G Greco, A Kurz, A Palmigiano International Workshop on Logic, Rationality and Interaction, 135-148, 2013	43	2013
Coalgebras and their logics A Kurz ACM SIGACT News 37 (2), 57-77, 2006	41	2006
Presenting distributive laws MM Bonsangue, HH Hansen, A Kurz, J Rot International Conference on Algebra and Coalgebra in Computer Science, 95-109, 2013	40	2013

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