# A Sequent Calculus for Urn Logic

```@article{French2015ASC,
title={A Sequent Calculus for Urn Logic},
author={Rohan French},
journal={Journal of Logic, Language and Information},
year={2015},
volume={24},
pages={131-147}
}```
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}\$\$a1,…,an have been drawn, \$\$A\$\$A is the case”.
2

#### References

##### Publications referenced by this paper.
SHOWING 1-9 OF 9 REFERENCES

## Urn models: A classical exposition

VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

## Context and Logical Form

VIEW 3 EXCERPTS
HIGHLY INFLUENTIAL

K. Wehmeier
• 2009
VIEW 2 EXCERPTS

VIEW 1 EXCERPT

VIEW 1 EXCERPT

## Urn models and categoricity

• J. Philosophical Logic
• 1978
VIEW 3 EXCERPTS

## Impossible possible worlds vindicated

• J. Philosophical Logic
• 1975
VIEW 2 EXCERPTS

## Urn models: A new kind of non-standard model for first-order logic

• J. Philosophical Logic
• 1975
VIEW 2 EXCERPTS

## Identity, Variables, and Impredicative Definitions

• J. Symb. Log.
• 1956
VIEW 1 EXCERPT