×
Compute Distance To:
Author ID: litak.tadeusz Recent zbMATH articles by "Litak, Tadeusz"
Published as: Litak, Tadeusz
External Links: ORCID · dblp
Documents Indexed: 29 Publications since 2002
Co-Authors: 20 Co-Authors with 19 Joint Publications
364 Co-Co-Authors

Publications by Year

Citations contained in zbMATH Open

26 Publications have been cited 297 times in 275 Documents Cited by Year
Stone duality for nominal Boolean algebras with {И}. Zbl 1241.68050
Gabbay, Murdoch J.; Litak, Tadeusz; Petrişan, Daniela
214
2011
Constructive modalities with provability smack. Zbl 1350.03020
Litak, Tadeusz
8
2014
Complete axiomatizations for XPath fragments. Zbl 1192.68223
ten Cate, Balder; Litak, Tadeusz; Marx, Maarten
7
2010
Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042
Milius, Stefan; Litak, Tadeusz
6
2017
Isomorphism via translation. Zbl 1144.03015
Litak, Tadeusz
5
2006
Some modal aspects of XPath. Zbl 1242.68010
ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz
5
2010
Topological perspective on the hybrid proof rules. Zbl 1278.03051
ten Cate, Balder; Litak, Tadeusz
5
2007
Completions of GBL-algebras: negative results. Zbl 1161.06010
Kowalski, Tomasz; Litak, Tadeusz
5
2008
On notions of completeness weaker than Kripke completeness. Zbl 1102.03065
Litak, Tadeusz
4
2005
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
4
2017
The non-reflexive counterpart of Grz. Zbl 1286.03066
Litak, Tadeusz
4
2007
Coalgebraic predicate logic. Zbl 1433.03163
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
4
2012
All finitely axiomatizable tense logics of linear time flows are coNP-complete. Zbl 1096.03014
Litak, Tadeusz; Wolter, Frank
3
2005
Stability of the Blok theorem. Zbl 1182.06005
Litak, Tadeusz
3
2008
Relational lattices: from databases to universal algebra. Zbl 1372.68081
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
3
2016
One modal logic to rule them all? Zbl 1418.03087
Holliday, Wesley H.; Litak, Tadeusz
3
2018
A continuum of incomplete intermediate logics. Zbl 1031.03050
Litak, Tadeusz
2
2002
Lewis meets Brouwer: constructive strict implication. Zbl 1436.03137
Litak, Tadeusz; Visser, Albert
2
2018
Model theory and proof theory of coalgebraic predicate logic. Zbl 1459.03104
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
Complete additivity and modal incompleteness. Zbl 07124571
Holliday, Wesley H.; Litak, Tadeusz
2
2019
Algebraization of hybrid logic with binders. Zbl 1135.03031
Litak, Tadeusz
1
2006
Modal incompleteness revisited. Zbl 1045.03022
Litak, Tadeusz
1
2004
Negative translations and normal modality. Zbl 1434.03074
Litak, Tadeusz; Polzer, Miriam; Rabenstein, Ulrich
1
2017
Relational lattices. Zbl 1344.68065
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
1
2014
Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027
Milius, Stefan; Litak, Tadeusz
1
2013
Infinite populations, choice and determinacy. Zbl 1477.03237
Litak, Tadeusz
1
2018
Complete additivity and modal incompleteness. Zbl 07124571
Holliday, Wesley H.; Litak, Tadeusz
2
2019
One modal logic to rule them all? Zbl 1418.03087
Holliday, Wesley H.; Litak, Tadeusz
3
2018
Lewis meets Brouwer: constructive strict implication. Zbl 1436.03137
Litak, Tadeusz; Visser, Albert
2
2018
Model theory and proof theory of coalgebraic predicate logic. Zbl 1459.03104
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
2
2018
Infinite populations, choice and determinacy. Zbl 1477.03237
Litak, Tadeusz
1
2018
Guard your daggers and traces: properties of guarded (co-)recursion. Zbl 1375.68042
Milius, Stefan; Litak, Tadeusz
6
2017
A van Benthem/Rosen theorem for coalgebraic predicate logic. Zbl 1388.03069
Schröder, Lutz; Pattinson, Dirk; Litak, Tadeusz
4
2017
Negative translations and normal modality. Zbl 1434.03074
Litak, Tadeusz; Polzer, Miriam; Rabenstein, Ulrich
1
2017
Relational lattices: from databases to universal algebra. Zbl 1372.68081
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
3
2016
Constructive modalities with provability smack. Zbl 1350.03020
Litak, Tadeusz
8
2014
Relational lattices. Zbl 1344.68065
Litak, Tadeusz; Mikulás, Szabolcs; Hidders, Jan
1
2014
Guard your daggers and traces: on the equational properties of guarded (co-)recursion. Zbl 1462.68027
Milius, Stefan; Litak, Tadeusz
1
2013
Coalgebraic predicate logic. Zbl 1433.03163
Litak, Tadeusz; Pattinson, Dirk; Sano, Katsuhiko; Schröder, Lutz
4
2012
Stone duality for nominal Boolean algebras with {И}. Zbl 1241.68050
Gabbay, Murdoch J.; Litak, Tadeusz; Petrişan, Daniela
214
2011
Complete axiomatizations for XPath fragments. Zbl 1192.68223
ten Cate, Balder; Litak, Tadeusz; Marx, Maarten
7
2010
Some modal aspects of XPath. Zbl 1242.68010
ten Cate, Balder; Fontaine, Gaëlle; Litak, Tadeusz
5
2010
Completions of GBL-algebras: negative results. Zbl 1161.06010
Kowalski, Tomasz; Litak, Tadeusz
5
2008
Stability of the Blok theorem. Zbl 1182.06005
Litak, Tadeusz
3
2008
Topological perspective on the hybrid proof rules. Zbl 1278.03051
ten Cate, Balder; Litak, Tadeusz
5
2007
The non-reflexive counterpart of Grz. Zbl 1286.03066
Litak, Tadeusz
4
2007
Isomorphism via translation. Zbl 1144.03015
Litak, Tadeusz
5
2006
Algebraization of hybrid logic with binders. Zbl 1135.03031
Litak, Tadeusz
1
2006
On notions of completeness weaker than Kripke completeness. Zbl 1102.03065
Litak, Tadeusz
4
2005
All finitely axiomatizable tense logics of linear time flows are coNP-complete. Zbl 1096.03014
Litak, Tadeusz; Wolter, Frank
3
2005
Modal incompleteness revisited. Zbl 1045.03022
Litak, Tadeusz
1
2004
A continuum of incomplete intermediate logics. Zbl 1031.03050
Litak, Tadeusz
2
2002
all top 5

Cited by 320 Authors

8 Litak, Tadeusz
5 ten Cate, Balder David
4 Schröder, Lutz
4 Triebel, Hans
4 Volosivets, Sergeĭ Sergeevich
3 Ciabattoni, Agata
3 Fervari, Raul
3 Golubov, Boris Ivanovich
3 Goncharov, Sergeĭ Savost’yanovich
3 Guliyev, Vagif Sabir
3 Holliday, Wesley H.
3 Iemhoff, Rosalie
3 Ligun, A. A.
3 Oswald, Peter
3 Ramazanov, Abdul-Rashid Kekhrimanovich
3 Rauch, Christoph
3 Sano, Katsuhiko
3 Santocanale, Luigi
3 Terui, Kazushige
2 Akhobadze, T. I.
2 Areces, Carlos
2 Bavrin, Ivan Ivanovich
2 Belov, Aleksandr S.
2 Birkedal, Lars
2 Conradie, Willem
2 Dolzhenko, Evgeniĭ Prokof’evich
2 Düntsch, Ivo
2 Dzhrbashyan, Mkhitar Mkrtichevich
2 Galatos, Nikolaos
2 Gevorkyan, Gegham G.
2 Goldblatt, Robert Ian
2 Grabowski, Janusz
2 Jiang, Furu
2 Joó, István
2 Kashin, Boris Sergeevich
2 Kavvos, G. A.
2 Kazarian, Kazaros S.
2 Korobeĭnik, Yuriĭ Fëdorovich
2 Kozyrev, S. B.
2 Leindler, László
2 Lukashenko, S. Yu.
2 Marx, Maarten
2 Móricz, Ferenc
2 Orłowska, Ewa S.
2 Piróg, Maciej
2 Pogosyan, N. B.
2 Pustovojtov, Nikolaj Nikolaevich
2 Rustamov, Kh. P.
2 Sedletskiĭ, Anatoliĭ Mechislavovich
2 Semënov, Evgeniĭ Mikhaĭlovich
2 Sevas’tyanov, E. A.
2 Shabozov, Mirgand Shabozovich
2 Sustretov, Dmitry
2 Tanaka, Yoshihito
2 Telyakovskiĭ, Sergeĭ Aleksandrovich
2 Wolter, Frank
2 Zaderej, P. V.
2 Zhensykbaev, Alexandr A.
1 Abriola, Sergio
1 Adámek, Jiří
1 Akbar Tabatabai, Amirhossein
1 Akobirshoev, Mukhiddin Otamshoevich
1 Alexandrov, A. N.
1 Andersson, Jan-Erik
1 Arató, N. Miklós
1 Auel, Asher Natan
1 Avdonin, Sergeĭ Anatol’evich
1 Babenko, Vladyslav Fedorovych
1 Bagdasaryan, A. G.
1 Bajborodov, S. P.
1 Bakhvalov, Nikolai Sergeevich
1 Balashov, Maxim Viktorovich
1 Baluka, Edward
1 Bárcenas, Everardo
1 Baskakov, Viktor Alekseevich
1 Bazarkhanov, Daurenbek Bolysbekovich
1 Bekmaganbetov, Kuanysh Abdrakhmanovich
1 Belinsky, E. S.
1 Belishev, Mikhail Igorevitch
1 Belykh, Vladimir Nikitich
1 Bendikov, Alexander D.
1 Benítez-Guerrero, Edgard
1 Berdyshev, Vitaliĭ Ivanovich
1 Besov, Oleg Vladimirovich
1 Bezhanishvili, Guram
1 Biebler, Karl-Ernst
1 Bizjak, Aleš
1 Blanc, Jérémy
1 Bloshanskii, Igor L.
1 Borovoi, Mikhail V.
1 Bosznay, Adam P.
1 Boyadzhiev, Khristo N.
1 Boyanov, Borislav Dechev
1 Brushlinskij, K. V.
1 Brussel, Eric S.
1 Bugadze, V. M.
1 Bugrov, Ya. S.
1 Bujalance, Emilio
1 Busaniche, Manuela
1 Buslaev, Viktor Ivanovich
...and 220 more Authors
all top 5

Cited in 38 Serials

162 Analysis Mathematica
12 Acta Mathematica Hungarica
10 Russian Mathematical Surveys
9 Transformation Groups
6 Studia Logica
5 Annals of Pure and Applied Logic
5 Logical Methods in Computer Science
4 Algebra Universalis
4 Applied Mathematics and Mechanics. (English Edition)
3 Journal of Philosophical Logic
3 Journal of Logical and Algebraic Methods in Programming
2 Publications Mathématiques
2 Journal of Computer and System Sciences
2 Semigroup Forum
2 Theoretical Computer Science
2 Acta Mathematicae Applicatae Sinica. English Series
2 Indagationes Mathematicae. New Series
2 Journal of Logic, Language and Information
2 Journal of Applied Logic
2 The Review of Symbolic Logic
1 American Mathematical Monthly
1 Archive for Rational Mechanics and Analysis
1 Astrophysics and Space Science
1 Journal d’Analyse Mathématique
1 Zhurnal Vychislitel’noĭ Matematiki i Matematicheskoĭ Fiziki
1 Annals of the Institute of Statistical Mathematics
1 Fuzzy Sets and Systems
1 The Journal of Symbolic Logic
1 Notre Dame Journal of Formal Logic
1 Archive for Mathematical Logic
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Theory of Computing Systems
1 Oberwolfach Reports
1 Logica Universalis
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematicheskoe Modelirovanie i Programmirovanie
1 Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki
1 Vestnik Yuzhno-Ural’skogo Gosudarstvennogo Universiteta. Seriya Matematika. Mekhanika. Fizika
all top 5

Cited in 47 Fields

82 Harmonic analysis on Euclidean spaces (42-XX)
57 Mathematical logic and foundations (03-XX)
47 Approximations and expansions (41-XX)
29 Functional analysis (46-XX)
23 Computer science (68-XX)
21 Functions of a complex variable (30-XX)
12 Real functions (26-XX)
10 Order, lattices, ordered algebraic structures (06-XX)
9 Sequences, series, summability (40-XX)
8 General algebraic systems (08-XX)
7 Partial differential equations (35-XX)
7 Probability theory and stochastic processes (60-XX)
6 Measure and integration (28-XX)
6 Operator theory (47-XX)
5 Algebraic geometry (14-XX)
4 Group theory and generalizations (20-XX)
4 Mechanics of deformable solids (74-XX)
4 Quantum theory (81-XX)
3 General and overarching topics; collections (00-XX)
3 Number theory (11-XX)
3 Potential theory (31-XX)
3 Several complex variables and analytic spaces (32-XX)
3 General topology (54-XX)
3 Global analysis, analysis on manifolds (58-XX)
3 Numerical analysis (65-XX)
2 History and biography (01-XX)
2 Associative rings and algebras (16-XX)
2 Nonassociative rings and algebras (17-XX)
2 Category theory; homological algebra (18-XX)
2 Topological groups, Lie groups (22-XX)
2 Ordinary differential equations (34-XX)
2 Abstract harmonic analysis (43-XX)
2 Integral equations (45-XX)
2 Differential geometry (53-XX)
2 Relativity and gravitational theory (83-XX)
2 Operations research, mathematical programming (90-XX)
1 Commutative algebra (13-XX)
1 Special functions (33-XX)
1 Dynamical systems and ergodic theory (37-XX)
1 Integral transforms, operational calculus (44-XX)
1 Calculus of variations and optimal control; optimization (49-XX)
1 Manifolds and cell complexes (57-XX)
1 Statistics (62-XX)
1 Mechanics of particles and systems (70-XX)
1 Fluid mechanics (76-XX)
1 Statistical mechanics, structure of matter (82-XX)
1 Game theory, economics, finance, and other social and behavioral sciences (91-XX)

Citations by Year