tadeusz litak

Cited by

	All	Since 2019
Citations	565	321
h-index	16	11
i10-index	27	14

2004200520062007200820092010201120122013201420152016201720182019202020212022202320242 1 13 16 8 14 9 17 4 6 13 6 31 43 57 49 43 58 55 39 77

Public access

View all

5 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Dirk PattinsonAustralian National UniversityVerified email at anu.edu.au
Balder ten CateAssociate ProfessorVerified email at uva.nl
Lutz SchröderProfessor of Computer Science, Friedrich-Alexander-Universität Erlangen-NürnbergVerified email at cs.fau.de
Katsuhiko SanoProfessor, Faculty of Humanities and Human Sciences, Hokkaido UniversityVerified email at let.hokudai.ac.jp
Wesley H. HollidayProfessor of Philosophy, Group in Logic and the Methodology of Science, UC BerkeleyVerified email at berkeley.edu
Jan HiddersBirkbeck College, University of LondonVerified email at dcs.bbk.ac.uk
Stefan MiliusFAU Erlangen-NürnbergVerified email at stefan-milius.eu
maarten marxAssistant Professor of Computer Science, University of AmsterdamVerified email at uva.nl
Deepak GargMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics Campus (SIC)Verified email at mpi-sws.org
Derek DreyerMax Planck Institute for Software Systems (MPI-SWS), Saarland Informatics CampusVerified email at mpi-sws.org
Michael SammlerMPI-SWSVerified email at mpi-sws.org
Jim de GrootThe Australian National UniversityVerified email at anu.edu.au
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Tomasz Stanisław KowalskiJagiellonian UniversityVerified email at uj.edu.pl
Peter JipsenProfessor of Mathematics, Chapman UniversityVerified email at chapman.edu
Szabolcs MikulasSenior Lecturer, Department of Computer Science and Information Systems, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Daniel HausmannUniversity of LiverpoolVerified email at liverpool.ac.uk
Sven HelmerSenior Research Associate, University of ZurichVerified email at ifi.uzh.ch

tadeusz litak

FAU Erlangen-Nürnberg, Informatik 8

Verified email at cs.fau.de - Homepage

algebraic logic logic in computer science interactive theorem proving coalgebra ordered structures


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Constructive modalities with provability smack T Litak Leo Esakia on duality in modal and intuitionistic logics, 187-216, 2014	47	2014
The high-level benefits of low-level sandboxing M Sammler, D Garg, D Dreyer, T Litak Proceedings of the ACM on Programming Languages 4 (POPL), 1-32, 2019	35	2019
Lewis meets Brouwer: constructive strict implication T Litak, A Visser Indagationes Mathematicae 29 (1), 36-90, 2018	33	2018
Model Theory and Proof Theory of Coalgebraic Predicate Logic T Litak, D Pattinson, K Sano, L Schröder Logical Methods in Computer Science 14, 2018	30*	2018
A van Benthem/Rosen theorem for coalgebraic predicate logic L Schröder, D Pattinson, T Litak Journal of Logic and Computation 27 (3), 749-773, 2017	30	2017
Negative translations and normal modality T Litak, M Polzer, U Rabenstein 2nd international conference on formal structures for computation and …, 2017	26	2017
Guard your daggers and traces: Properties of guarded (co-) recursion S Milius, T Litak Fundamenta Informaticae 150 (3-4), 407-449, 2017	26*	2017
Topological perspective on the hybrid proof rules B ten Cate, T Litak Electronic Notes in Theoretical Computer Science 174 (6), 79-94, 2007	23	2007
On notions of completeness weaker than Kripke completeness T Litak, R Schmidt, I Pratt-Hartmann, M Reynolds, H Wansing AiML-2004: Advances in Modal Logic, 235, 2004	22	2004
Stone duality for nominal Boolean algebras with И MJ Gabbay, T Litak, D Petrişan International Conference on Algebra and Coalgebra in Computer Science, 192-207, 2011	21	2011
Complete axiomatizations for XPath fragments B ten Cate, T Litak, M Marx Journal of Applied Logic 8 (2), 153-172, 2010	21	2010
All finitely axiomatizable tense logics of linear time flows are coNP-complete T Litak, F Wolter Studia Logica 81, 153-165, 2005	19	2005
THE NON-REFLEXIVE COUNTERPART OF GRZ T Litak Bulletin of the Section of Logic 36 (3/4), 195-208, 2007	18*	2007
An algebraic approach to incompleteness in modal logic T Litak (No Title), 2005	18	2005
Complete additivity and modal incompleteness WH Holliday, T Litak The Review of Symbolic Logic 12 (3), 487-535, 2019	17	2019
Infinite populations, choice and determinacy T Litak Studia Logica 106 (5), 969-999, 2018	17	2018
Relational lattices: From databases to universal algebra T Litak, S Mikulás, J Hidders Journal of Logical and Algebraic Methods in Programming 85 (4), 540-573, 2016	16*	2016
Some modal aspects of XPath B ten Cate, G Fontaine, T Litak Journal of Applied Non-Classical Logics 20 (3), 139-171, 2010	16	2010
One modal logic to rule them all? WH Holliday, T Litak	15	2018
Completions of GBL-algebras: negative results T Kowalski, T Litak Algebra universalis 58, 373-384, 2008	15	2008

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

Follow

Cited by

Co-authors