Tadeusz Litak - RankMe

43 papers A* 1B 8C 2Journal 26Unranked 6

Year	Rank	Type	Title / 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