Tadeusz Litak

Identifiers

No identifiers captured yet.

Papers (7)

1. Lewisian Fixed Points I: Two Incomparable Constructions cs.LO · 2019 · author #1
2. Some notes on the superintuitionistic logic of chequered subsets of $\mathbb{R}^\infty$ cs.LO · 2018 · author #1
3. A continuum of incomplete intermediate logics cs.LO · 2018 · author #1
4. An Algebraic Glimpse at Bunched Implications and Separation Logic cs.LO · 2017 · author #2
5. Constructive Modalities with Provability Smack cs.LO · 2017 · author #1
6. Lewis meets Brouwer: constructive strict implication cs.LO · 2017 · author #1
7. Guard Your Daggers and Traces: Properties of Guarded (Co-)recursion cs.LO · 2016 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Albert Visser 2 shared papers
• Peter Jipsen 1 shared papers
• Stefan Milius 1 shared papers