Repository | Book | Chapter
(1995) Doing worlds with words, Dordrecht, Springer.
We have seen that from the viewpoint of model theory, statements formed by means of logical operators can be simply eliminated with the help of a couple of recursive constraints reducing satisfaction of such statements to satisfaction of their substatements. The idea flowing from this is to handle quantificational statements analogously; to find analogous recursive constraints for quantificational statements. Attempting this, though, we immediately face a problem — quantificational statements do not in general contain substatements, at least not in the overt way those formed by means of logical operators do.
Publication details
DOI: 10.1007/978-94-015-8468-5_5
Full citation:
Peregrin, J. (1995). Quantification, in Doing worlds with words, Dordrecht, Springer, pp. 76-105.
This document is unfortunately not available for download at the moment.