tadeusz litak

Cited by

	All	Since 2018
Citations	484	288
h-index	15	10
i10-index	22	11

200420052006200720082009201020112012201320142015201620172018201920202021202220233 1 13 19 8 14 9 15 5 8 14 7 30 47 58 50 38 66 57 19

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 SanoAssociate Professor, Department of Philosophy and Ethics, 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
Frank WolterDepartment of Computer Science, University of LiverpoolVerified email at liverpool.ac.uk
Tomasz Stanisław KowalskiJagiellonian UniversityVerified email at uj.edu.pl
Jim de GrootThe Australian National UniversityVerified email at anu.edu.au
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 HausmannGothenburg University, Chalmers Technical University, Gothenburg, SwedenVerified email at chalmers.se
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	36	2014
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	27*	2018
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	25	2019
Guard your daggers and traces: Properties of guarded (co-) recursion S Milius, T Litak Fundamenta Informaticae 150 (3-4), 407-449, 2017	25*	2017
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	24	2017
Lewis meets Brouwer: constructive strict implication T Litak, A Visser Indagationes Mathematicae 29 (1), 36-90, 2018	23	2018
Stone duality for nominal Boolean algebras with И MJ Gabbay, T Litak, D Petrişan Algebra and Coalgebra in Computer Science: 4th International Conference …, 2011	22	2011
Topological perspective on the hybrid proof rules B ten Cate, T Litak Electronic Notes in Theoretical Computer Science 174 (6), 79-94, 2007	22	2007
Negative translations and normal modality T Litak, M Polzer, U Rabenstein 2nd international conference on formal structures for computation and …, 2017	21	2017
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	21	2004
Complete axiomatizations for XPath fragments B ten Cate, T Litak, M Marx Journal of Applied Logic 8 (2), 153-172, 2010	20	2010
An algebraic approach to incompleteness in modal logic T Litak PhD thesis, 2005	18	2005
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	17*	2016
All finitely axiomatizable tense logics of linear time flows are coNP-complete T Litak, F Wolter Studia Logica 81, 153-165, 2005	17	2005
Some modal aspects of XPath B ten Cate, G Fontaine, T Litak Journal of Applied Non-Classical Logics 20 (3), 139-171, 2010	15	2010
Completions of GBL-algebras: negative results T Kowalski, T Litak Algebra Universalis 58, 373-384, 2008	15	2008
THE NON-REFLEXIVE COUNTERPART OF GRZ T Litak Bulletin of the Section of Logic 36 (3/4), 195-208, 2007	15*	2007
Complete additivity and modal incompleteness WH Holliday, T Litak The Review of Symbolic Logic 12 (3), 487-535, 2019	13	2019
Infinite populations, choice and determinacy T Litak Studia Logica 106 (5), 969-999, 2018	12	2018
One modal logic to rule them all? WH Holliday, T Litak Advances in modal logic 12, 2018	12	2018

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