research
∙
05/05/2021
Gödel-McKinsey-Tarski and Blok-Esakia for Heyting-Lewis Implication
Heyting-Lewis Logic is the extension of intuitionistic propositional log...
share
research
∙
05/23/2019
Lewisian Fixed Points I: Two Incomparable Constructions
Our paper is the first study of what one might call "reverse mathematics...
research
∙
09/20/2018
Complete Additivity and Modal Incompleteness
In this paper, we tell a story about incompleteness in modal logic. The ...
research
∙
08/20/2018
Some notes on the superintuitionistic logic of chequered subsets of R^∞
I investigate the superintuitionistic analogue of the modal logic of che...
research
∙
08/20/2018
A continuum of incomplete intermediate logics
This paper generalizes the 1977 paper of V.B. Shehtman, which constructe...
research
∙
09/20/2017