Tadeusz Litak

Available identifiers

zbMath Open litak.tadeuszMaRDI QIDQ299189

List of research outcomes

Publication	Date of Publication	Type
Lewisian fixed points. I: Two incomparable constructions	2024-10-01	Paper
An algebraic glimpse at bunched implications and separation logic	2024-03-25	Paper
Guard your daggers and traces: on the equational properties of guarded (co-)recursion	2021-06-10	Paper
G\"{o}del-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication	2021-05-05	Paper
Cheap CTL compassion in NuSMV	2020-08-05	Paper
https://portal.mardi4nfdi.de/entity/Q5111325	2020-05-26	Paper
COMPLETE ADDITIVITY AND MODAL INCOMPLETENESS	2019-10-30	Paper
One modal logic to rule them all?	2019-07-24	Paper
Infinite populations, choice and determinacy	2018-10-31	Paper
Model theory and proof theory of coalgebraic predicate logic	2018-04-25	Paper
Lewis meets Brouwer: constructive strict implication	2018-01-12	Paper
Guard your daggers and traces: properties of guarded (co-)recursion	2017-11-10	Paper
A van Benthem/Rosen theorem for coalgebraic predicate logic	2017-05-17	Paper
Relational lattices: from databases to universal algebra	2016-06-22	Paper
Constructive modalities with provability smack	2015-06-19	Paper
The non-reflexive counterpart of Grz	2014-04-23	Paper
Relational Lattices	2014-04-16	Paper
Topological perspective on the hybrid proof rules	2013-12-20	Paper
Coalgebraic predicate logic: equipollence results and proof theory	2013-04-12	Paper
Coalgebraic predicate logic	2012-11-01	Paper
Some modal aspects of XPath	2012-07-17	Paper
Stone Duality for Nominal Boolean Algebras with И	2011-09-02	Paper
Complete axiomatizations for XPath fragments	2010-06-11	Paper
Completions of GBL-algebras: negative results	2009-01-29	Paper
Stability of the Blok theorem	2009-01-29	Paper
Isomorphism via translation	2008-07-01	Paper
Algebraization of Hybrid Logic with Binders	2008-04-24	Paper
https://portal.mardi4nfdi.de/entity/Q5483006	2006-08-15	Paper
All finitely axiomatizable tense logics of linear time flows are coNP-complete	2006-03-17	Paper
https://portal.mardi4nfdi.de/entity/Q4826042	2004-11-05	Paper
Modal incompleteness revisited	2004-08-06	Paper
https://portal.mardi4nfdi.de/entity/Q4807691	2004-03-01	Paper
"Lewis and Brouwer meet Strong L\""ob"	N/A	Paper

Research outcomes over time

This page was built for person: Tadeusz Litak