Modality, quantification, and many Vlach-operators

DOI10.1007/S10992-006-9045-8MaRDI QIDQ2642477zbMATH OpenOpenAlexFDO

Authors Fabrice Correia

Publication date 17 August 2007

Published in Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL http://doc.rero.ch/record/32019/files/Correia_Fabrice_-_Modality_Quantification_and_Many_Vlach-Operators_20130508102352-EI.pdf

zbMATH Keywords

actualistactuality operatormodal languagepossibilistVlach-operator

Mathematics Subject Classification ID

Philosophical and critical aspects of logic and foundations (03A05) Modal logic (including the logic of norms) (03B45)

Review text

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.

Recommendations

• Quantale modules and their operators, with applications
• scientific article; zbMATH DE number 5734940
• Modal operators on \(L\)-algebras
• Modal operators on compact regular frames and de Vries algebras.
• Graded modal operators and fixed points
• scientific article; zbMATH DE number 5380315
• scientific article; zbMATH DE number 1489632
• On a theory of operators for the modulus function space
• scientific article; zbMATH DE number 3135821
• Modulation spaces and representations for Rieffel's quantization

Cites work

• Necessity and truth theories

Cited in

(9)

• On the expressive power of first-order modal logic with two-dimensional operators
• Modal expansionism
• In the mood for S4: the expressive power of the subjunctive modal language in weak background logics
• How to Lewis a Kripke-Hintikka
• On the expressivity of first-order modal logic with ``actually
• Modal ontology and generalized quantifiers
• Indispensability arguments and instrumental nominalism
• Modalities and Parametric Adjoints
• STRONGLY MILLIAN SECOND-ORDER MODAL LOGICS

This page was built for publication: Modality, quantification, and many Vlach-operators

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2642477)