17 citations · 23 across the 5 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019★ 4 cited
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…
cs.LO2017★ 17 cited
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…