4 citations · 18 across the 9 of their papers we have counts for
Showing 2022 · cs.LOShow all
3 papers · 2 filters
cs.LO2022★ 1 cited
A Mechanically Assisted Examination of Vacuity and Question Begging in Anselm's Ontological Argument
John Rushby
I use mechanized verification to examine several first- and higher-order formalizations of Anselm's Ontological Argument against the charge of begging the question. I propose three…
cs.LO2022★ 1 cited
PVS Embeddings of Propositional and Quantified Modal Logic
John Rushby
Modal logics allow reasoning about various modes of truth: for example, what it means for something to be possibly true, or to know that something is true as opposed to merely beli…
cs.LO2022★ 2 cited
Mechanized Analysis of Anselm's Modal Ontological Argument
John Rushby
We use a mechanized verification system, PVS, to examine the argument from Anselm's Proslogion Chapter III, the so-called "Modal Ontological Argument." We consider several publishe…