A Continuum of Incomplete Intermediate Logics. - Tadeusz Litak (Reports Math. Log., 2002)

On Notions of Completeness Weaker than Kripke Completeness. - Tadeusz Litak (Advances in Modal Logic, 2004)

Modal Incompleteness Revisited. - Tadeusz Litak (Stud Logica, 2004)

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete. - Tadeusz Litak; Frank Wolter (Stud Logica, 2005)

Algebraization of Hybrid Logic with Binders. - Tadeusz Litak (RelMiCS, 2006)

Isomorphism via translation. - Tadeusz Litak (Advances in Modal Logic, 2006)

Topological Perspective on the Hybrid Proof Rules. - Balder ten Cate; Tadeusz Litak (HyLo@FLoC, 2006)

On the Termination Problem for Declarative XML Message Processing. - Tadeusz Litak; Sven Helmer (DEXA, 2009)

Some modal aspects of XPath. - Balder ten Cate; Gaëlle Fontaine; Tadeusz Litak (J. Appl. Non Class. Logics, 2010)

Complete axiomatizations for XPath fragments. - Balder ten Cate; Tadeusz Litak; Maarten Marx (J. Appl. Log., 2010)

Stone Duality for Nominal Boolean Algebras with И. - Murdoch James Gabbay; Tadeusz Litak; Daniela Petrisan (CALCO, 2011)

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano (TbiLLC, 2011)

Coalgebraic Predicate Logic. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano; Lutz Schröder (ICALP (2), 2012)

Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion. - Stefan Milius; Tadeusz Litak (FICS, 2013)

Relational Lattices. - Tadeusz Litak; Szabolcs Mikulás; Jan Hidders (RAMiCS, 2014)

Relational lattices: From databases to universal algebra. - Tadeusz Litak; Szabolcs Mikulás; Jan Hidders (J. Log. Algebraic Methods Program., 2016)

Negative Translations and Normal Modality. - Tadeusz Litak; Miriam Polzer; Ulrich Rabenstein (FSCD, 2017)

Model Theory and Proof Theory of CPL. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano; Lutz Schröder (CoRR, 2017)

Lewis meets Brouwer: constructive strict implication. - Tadeusz Litak; Albert Visser (CoRR, 2017)

Constructive Modalities with Provability Smack. - Tadeusz Litak (CoRR, 2017)

An Algebraic Glimpse at Bunched Implications and Separation Logic. - Peter Jipsen; Tadeusz Litak (CoRR, 2017)

Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion. - Stefan Milius; Tadeusz Litak (Fundam. Informaticae, 2017)

A Van Benthem/Rosen theorem for coalgebraic predicate logic. - Lutz Schröder; Dirk Pattinson; Tadeusz Litak (J. Log. Comput., 2017)

One Modal Logic to Rule Them All?. - Wesley H. Holliday; Tadeusz Litak (Advances in Modal Logic, 2018)

Some notes on the superintuitionistic logic of chequered subsets of R∞. - Tadeusz Litak (CoRR, 2018)

Model Theory and Proof Theory of Coalgebraic Predicate Logic. - Tadeusz Litak; Dirk Pattinson; Katsuhiko Sano; Lutz Schröder (Log. Methods Comput. Sci., 2018)

Infinite Populations, Choice and Determinacy. - Tadeusz Litak (Stud Logica, 2018)

Lewisian Fixed Points I: Two Incomparable Constructions. - Tadeusz Litak; Albert Visser (CoRR, 2019)

Complete additivity and Modal Incompleteness. - Wesley H. Holliday; Tadeusz Litak (Rev. Symb. Log., 2019)

Cheap CTL Compassion in NuSMV. - Daniel Hausmann 001; Tadeusz Litak; Christoph Rauch; Matthias Zinner (VMCAI, 2020)

The high-level benefits of low-level sandboxing. - Michael Sammler; Deepak Garg 001; Derek Dreyer; Tadeusz Litak (Proc. ACM Program. Lang., 2020)

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. - Jim de Groot; Tadeusz Litak; Dirk Pattinson (LICS, 2021)

Ruitenburg's Theorem mechanized and contextualized. - Tadeusz Litak (CoRR, 2024)

Lewis and Brouwer meet Strong L "ob. - Albert Visser; Tadeusz Litak (CoRR, 2024)

Inquisitive Team Semantics of LTL. - Laura Bozzelli; Tadeusz Litak; Munyque Mittelmann; Aniello Murano (CoRR, 2025)

Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. - Tadeusz Litak; Katsuhiko Sano (CoRR, 2025)