Hanoch Ben‐Yami

The Barcan formulas and necessary existence: the view from Quarc

2020 · Synthese

Abstract The Modal Predicate Calculus gives rise to issues surrounding the Barcan formulas, their converses, and necessary existence. I examine these issues by means of the Quantified Argument Calculus (Quarc), a recently developed, powerful formal …