32 citations · 77 across the 6 of their papers we have counts for
Showing 2015Show all
3 papers · 1 filter
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…
math.HO2015
Structure and Categoricity: Determinacy of Reference and Truth-Value in the Philosophy of Mathematics
Tim Button, Sean Walsh
This article surveys recent literature by Parsons, McGee, Shapiro and others on the significance of categoricity arguments in the philosophy of mathematics. After discussing whethe…