Modality, quantification, and many Vlach-operators (Q2642477)

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.