Tadeusz Litak
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
8
Active years
2004–2026
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | FOSSACS | Inquisitive Team Semantics of LTL. | Laura Bozzelli, Tadeusz Litak, Munyque Mittelmann, Aniello Murano |
| 2025 | TABLEAUX | Bounded Inquisitive Logics: Sequent Calculi and Schematic Validity. | Tadeusz Litak, Katsuhiko Sano |
| 2021 | LICS | Gdel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication. | Jim de Groot, Tadeusz Litak, Dirk Pattinson |
| 2020 | VMCAI | Cheap CTL Compassion in NuSMV. | Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner |
| 2018 | AiML | One Modal Logic to Rule Them All?. | Wesley H. Holliday, Tadeusz Litak |
| 2012 | ICALP | Coalgebraic Predicate Logic. | Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schrder |
| 2011 | CALCO | Stone Duality for Nominal Boolean Algebras with И. | Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan |
| 2009 | DEXA | On the Termination Problem for Declarative XML Message Processing. | Tadeusz Litak, Sven Helmer |
| 2006 | AiML | Isomorphism via translation. | Tadeusz Litak |
| 2004 | AiML | On Notions of Completeness Weaker than Kripke Completeness. | Tadeusz Litak |