Tadeusz Litak

43 papers A* 1B 8C 2Journal 26Unranked 6
YearRankTypeTitle / Venue / Authors
2026 B conf
Inquisitive Team Semantics of LTL.
FoSSaCS
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2026 J jnl
Relational semantics for flat Heyting-Lewis Logic.
CoRR
Jim de Groot, Tadeusz Litak
2025 B conf
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity.
TABLEAUX
Tadeusz Litak, Katsuhiko Sano
2025 J jnl
Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity.
CoRR
Tadeusz Litak, Katsuhiko Sano
2025 J jnl
Inquisitive Team Semantics of LTL.
CoRR
Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano
2024 J jnl
Lewis and Brouwer meet Strong L\"ob.
CoRR
Albert Visser, Tadeusz Litak
2024 — conf
Ruitenburg's Theorem mechanized and contextualized.
FICS@CSL
Tadeusz Litak
2021 A* conf
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.
LICS
Jim de Groot, Tadeusz Litak, Dirk Pattinson
2021 J jnl
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.
CoRR
Jim de Groot, Tadeusz Litak, Dirk Pattinson
2020 B conf
Cheap CTL Compassion in NuSMV.
VMCAI
Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner
2020 J jnl
The high-level benefits of low-level sandboxing.
Proc. ACM Program. Lang.
Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak
2019 J jnl
Complete additivity and Modal Incompleteness.
Rev. Symb. Log.
Wesley H. Holliday, Tadeusz Litak
2019 J jnl
Lewisian Fixed Points I: Two Incomparable Constructions.
CoRR
Tadeusz Litak, Albert Visser
2018 J jnl
A continuum of incomplete intermediate logics.
CoRR
Tadeusz Litak
2018 J jnl
Complete Additivity and Modal Incompleteness.
CoRR
Wesley H. Holliday, Tadeusz Litak
2018 J jnl
Infinite Populations, Choice and Determinacy.
Stud Logica
Tadeusz Litak
2018 J jnl
Model Theory and Proof Theory of Coalgebraic Predicate Logic.
Log. Methods Comput. Sci.
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2018 B conf
One Modal Logic to Rule Them All?.
Advances in Modal Logic
Wesley H. Holliday, Tadeusz Litak
2018 J jnl
Some notes on the superintuitionistic logic of chequered subsets of R
CoRR
Tadeusz Litak
2017 J jnl
A Van Benthem/Rosen theorem for coalgebraic predicate logic.
J. Log. Comput.
Lutz Schröder, Dirk Pattinson, Tadeusz Litak
2017 J jnl
An Algebraic Glimpse at Bunched Implications and Separation Logic.
CoRR
Peter Jipsen, Tadeusz Litak
2017 J jnl
Constructive Modalities with Provability Smack.
CoRR
Tadeusz Litak
2017 J jnl
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.
Fundam. Informaticae
Stefan Milius, Tadeusz Litak
2017 J jnl
Lewis meets Brouwer: constructive strict implication.
CoRR
Tadeusz Litak, Albert Visser
2017 J jnl
Model Theory and Proof Theory of CPL.
CoRR
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2017 B conf
Negative Translations and Normal Modality.
FSCD
Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein
2016 J jnl
Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.
CoRR
Stefan Milius, Tadeusz Litak
2016 J jnl
Relational lattices: From databases to universal algebra.
J. Log. Algebraic Methods Program.
Tadeusz Litak, Szabolcs Mikulás, Jan Hidders
2014 C conf
Relational Lattices.
RAMiCS
Tadeusz Litak, Szabolcs Mikulás, Jan Hidders
2013 — conf
Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion.
FICS
Stefan Milius, Tadeusz Litak
2012 — conf
Coalgebraic Predicate Logic.
ICALP (2)
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder
2011 — conf
Coalgebraic Predicate Logic: Equipollence Results and Proof Theory.
TbiLLC
Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano
2011 B conf
Stone Duality for Nominal Boolean Algebras with И.
CALCO
Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan
2010 J jnl
Complete axiomatizations for XPath fragments.
J. Appl. Log.
Balder ten Cate, Tadeusz Litak, Maarten Marx
2010 J jnl
Some modal aspects of XPath.
J. Appl. Non Class. Logics
Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak
2009 C conf
On the Termination Problem for Declarative XML Message Processing.
DEXA
Tadeusz Litak, Sven Helmer
2006 — conf
Algebraization of Hybrid Logic with Binders.
RelMiCS
Tadeusz Litak
2006 B conf
Isomorphism via translation.
Advances in Modal Logic
Tadeusz Litak
2006 — conf
Topological Perspective on the Hybrid Proof Rules.
HyLo@FLoC
Balder ten Cate, Tadeusz Litak
2005 J jnl
All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.
Stud Logica
Tadeusz Litak, Frank Wolter
2004 J jnl
Modal Incompleteness Revisited.
Stud Logica
Tadeusz Litak
2004 B conf
On Notions of Completeness Weaker than Kripke Completeness.
Advances in Modal Logic
Tadeusz Litak
2002 J jnl
A Continuum of Incomplete Intermediate Logics.
Reports Math. Log.
Tadeusz Litak