Modality, quantification, and many Vlach-operators (Q2642477)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Modality, quantification, and many Vlach-operators |
scientific article |
Statements
Modality, quantification, and many Vlach-operators (English)
0 references
17 August 2007
0 references
Having modal languages \(A\) with actualist quantifiers and \(P\) with possibilist quantifiers the author solves the problem of an enrichment of those languages that causes that \(A\) and \(P\) become equally expressive. Following G. Forbes (1989), he uses `Vlach-operators', the first of which stores the current world of evaluation and the second retrieves it for evaluation. Forbes' results are extended by introducing infinitely many pairs of indexed Vlach-operators, later by defining an `actuality operator'. The sameness of expressivity is proved. Finally, the same is proved using C. Peacocke's (1978) proposal.
0 references
modal language
0 references
actualist
0 references
possibilist
0 references
actuality operator
0 references
Vlach-operator
0 references