Tadeusz Litak

According to our database, Tadeusz Litak authored at least 34 papers between 2002 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Lewis and Brouwer meet Strong L\"ob.

Albert Visser, Tadeusz Litak

CoRR, 2024

Ruitenburg's Theorem mechanized and contextualized.

Tadeusz Litak

CoRR, 2024

2021

Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication.

Jim de Groot, Tadeusz Litak, Dirk Pattinson

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

The high-level benefits of low-level sandboxing.

Michael Sammler, Deepak Garg, Derek Dreyer, Tadeusz Litak

Proc. ACM Program. Lang., 2020

Cheap CTL Compassion in NuSMV.

Daniel Hausmann, Tadeusz Litak, Christoph Rauch, Matthias Zinner

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

2019

Complete additivity and Modal Incompleteness.

Wesley H. Holliday, Tadeusz Litak

Rev. Symb. Log., 2019

Lewisian Fixed Points I: Two Incomparable Constructions.

Tadeusz Litak, Albert Visser

CoRR, 2019

2018

Infinite Populations, Choice and Determinacy.

Tadeusz Litak

Stud Logica, 2018

Model Theory and Proof Theory of Coalgebraic Predicate Logic.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

Log. Methods Comput. Sci., 2018

Some notes on the superintuitionistic logic of chequered subsets of R^∞.

Tadeusz Litak

CoRR, 2018

One Modal Logic to Rule Them All?.

Wesley H. Holliday, Tadeusz Litak

Proceedings of the Advances in Modal Logic 12, 2018

2017

A Van Benthem/Rosen theorem for coalgebraic predicate logic.

Lutz Schröder, Dirk Pattinson, Tadeusz Litak

J. Log. Comput., 2017

Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion.

Stefan Milius, Tadeusz Litak

Fundam. Informaticae, 2017

An Algebraic Glimpse at Bunched Implications and Separation Logic.

Peter Jipsen, Tadeusz Litak

CoRR, 2017

Constructive Modalities with Provability Smack.

Tadeusz Litak

CoRR, 2017

Lewis meets Brouwer: constructive strict implication.

Tadeusz Litak, Albert Visser

CoRR, 2017

Model Theory and Proof Theory of CPL.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

CoRR, 2017

Negative Translations and Normal Modality.

Tadeusz Litak, Miriam Polzer, Ulrich Rabenstein

Proceedings of the 2nd International Conference on Formal Structures for Computation and Deduction, 2017

2016

Relational lattices: From databases to universal algebra.

Tadeusz Litak, Szabolcs Mikulás, Jan Hidders

J. Log. Algebraic Methods Program., 2016

2014

Relational Lattices.

Tadeusz Litak, Szabolcs Mikulás, Jan Hidders

Proceedings of the Relational and Algebraic Methods in Computer Science, 2014

2013

Guard Your Daggers and Traces: On The Equational Properties of Guarded (Co-)recursion.

Stefan Milius, Tadeusz Litak

Proceedings of the Proceedings Workshop on Fixed Points in Computer Science, 2013

2012

Coalgebraic Predicate Logic.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano, Lutz Schröder

Proceedings of the Automata, Languages, and Programming - 39th International Colloquium, 2012

2011

Coalgebraic Predicate Logic: Equipollence Results and Proof Theory.

Tadeusz Litak, Dirk Pattinson, Katsuhiko Sano

Proceedings of the Logic, Language, and Computation, 2011

Stone Duality for Nominal Boolean Algebras with И.

Murdoch James Gabbay, Tadeusz Litak, Daniela Petrisan

Proceedings of the Algebra and Coalgebra in Computer Science, 2011

2010

Complete axiomatizations for XPath fragments.

Balder ten Cate, Tadeusz Litak, Maarten Marx

J. Appl. Log., 2010

Some modal aspects of XPath.

Balder ten Cate, Gaëlle Fontaine, Tadeusz Litak

J. Appl. Non Class. Logics, 2010

2009

On the Termination Problem for Declarative XML Message Processing.

Tadeusz Litak, Sven Helmer

Proceedings of the Database and Expert Systems Applications, 20th International Conference, 2009

2006

Topological Perspective on the Hybrid Proof Rules.

Balder ten Cate, Tadeusz Litak

Proceedings of the International Workshop on Hybrid Logic, 2006

Isomorphism via translation.

Tadeusz Litak

Proceedings of the Advances in Modal Logic 6, 2006

Algebraization of Hybrid Logic with Binders.

Tadeusz Litak

Proceedings of the Relations and Kleene Algebra in Computer Science, 2006

2005

All Finitely Axiomatizable Tense Logics of Linear Time Flows Are CoNP-complete.

Tadeusz Litak, Frank Wolter

Stud Logica, 2005

2004

Modal Incompleteness Revisited.

Tadeusz Litak

Stud Logica, 2004

On Notions of Completeness Weaker than Kripke Completeness.

Tadeusz Litak

Proceedings of the Advances in Modal Logic 5, 2004

2002

A Continuum of Incomplete Intermediate Logics.

Tadeusz Litak

Reports Math. Log., 2002