32 citations · 77 across the 6 of their papers we have counts for
Showing 2015 · math.LOShow all
2 papers · 2 filters
math.LO2015★ 26 cited
Realizability Semantics for Quantified Modal Logic: Generalizing Flagg's 1985 Construction
Benjamin G. Rin, Sean Walsh
A semantics for quantified modal logic is presented that is based on Kleene's notion of realizability. This semantics generalizes Flagg's 1985 construction of a model of a modal ve…
math.LO2015
Predicativity, the Russell-Myhill Paradox, and Church's Intensional Logic
Sean Walsh
This paper sets out a predicative response to the Russell-Myhill paradox of propositions within the framework of Church's intensional logic. A predicative response places restricti…