# A Sequent Calculus for Urn Logic

Journal of Logic, Language and Information, Apr 2015

Approximately speaking, an urn model for first-order logic is a model where the domain of quantification changes depending on the values of variables which have been bound by quantifiers previously. In this paper we introduce a model-changing semantics for urn-models, and then give a sequent calculus for urn logic by introducing formulas which can be read as saying that “after the individuals $$a_{1}, \ldots , a_{n}$$ have been drawn, $$A$$ is the case”.

This is a preview of a remote PDF: https://link.springer.com/content/pdf/10.1007%2Fs10849-015-9216-5.pdf

Rohan French. A Sequent Calculus for Urn Logic, Journal of Logic, Language and Information, 2015, 131-147, DOI: 10.1007/s10849-015-9216-5