Tadeusz Litak

Available identifiers

zbMath Open litak.tadeuszMaRDI QIDQ299189

List of research outcomes

Publication	Date of Publication	Type
An algebraic glimpse at bunched implications and separation logic	2024-03-25	Paper
https://portal.mardi4nfdi.de/entity/Q4992899	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
https://portal.mardi4nfdi.de/entity/Q5224576	2019-07-24	Paper
Infinite populations, choice and determinacy	2018-10-31	Paper
https://portal.mardi4nfdi.de/entity/Q4637694	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
https://portal.mardi4nfdi.de/entity/Q5411417	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
https://portal.mardi4nfdi.de/entity/Q3509061	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

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Tadeusz Litak