29 citations · 50 across the 3 of their papers we have counts for
6 papers
Lewisian Fixed Points I: Two Incomparable Constructions
Tadeusz Litak, Albert Visser
Our paper is the first study of what one might call "reverse mathematics of explicit fixpoints". We study two methods of constructing such fixpoints for formulas whose principal co…
Complete Additivity and Modal Incompleteness
Wesley H. Holliday, Tadeusz Litak
In this paper, we tell a story about incompleteness in modal logic. The story weaves together a paper of van Benthem, `Syntactic aspects of modal incompleteness theorems,' and a lo…
Some notes on the superintuitionistic logic of chequered subsets of
Tadeusz Litak
I investigate the superintuitionistic analogue of the modal logic of chequered subsets of introduced by van Benthem et al. It is observed that this logic posses…
A continuum of incomplete intermediate logics
Tadeusz Litak
This paper generalizes the 1977 paper of V.B. Shehtman, which constructed the first Kripke incomplete intermediate logic, by presenting a continuum of such logics. This version fix…
Constructive Modalities with Provability Smack
Tadeusz Litak
I overview the work of the Tbilisi school on intuitionistic modal logics of well-founded/scattered structures and its connections with contemporary theoretical computer science. Fi…
Lewis meets Brouwer: constructive strict implication
Tadeusz Litak, Albert Visser
C. I. Lewis invented modern modal logic as a theory of "strict implication". Over the classical propositional calculus one can as well work with the unary box connective. Intuition…