Tadeusz Litak

Publication Activity (10 Years)

Years Active: 2002-2024
Publications (10 Years): 23

Top Topics

Algebraic Operations

Predicate Logic

Top Venues

Proc. ACM Program. Lang.

Publications

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