tadeusz litak

Geciteerd door

	Alles	Sinds 2019
Citaties	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

Openbare toegang

Alles bekijken

5 artikelen

0 artikelen

beschikbaar

niet beschikbaar

Op basis van financieringsmachtigingen

Medeauteurs

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

Volgen

tadeusz litak

FAU Erlangen-Nürnberg, Informatik 8

Geverifieerd e-mailadres voor cs.fau.de - Homepage

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


Titel Sorteren op citaties Sorteren op jaar Sorteren op titel	Geciteerd door Geciteerd door	Jaar
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

Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.

Artikelen 1–20

Citaties per jaar

Dubbele citaties

Samengevoegde citaties

Medeauteurs toevoegenMedeauteurs

Volgen

Geciteerd door

Medeauteurs