29 citations · 84 across the 12 of their papers we have counts for
Showing 2018Show all
3 papers · 1 filter
cs.LO2018★ 7 cited
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…
cs.LO2018
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…
cs.LO2018★ 6 cited
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…