In the mood for S4: the expressive power of the subjunctive modal language in weak background logics

DOI10.1007/S11225-014-9557-0MaRDI QIDQ2352453zbMATH OpenOpenAlexFDO

Authors Rohan French

Publication date 2 July 2015

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s11225-014-9557-0

zbMATH Keywords

actuality operatorexpressive powersubjunctive modal logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Review text

The expressive equivalence of subjunctive modal language (SML) (see [\textit{K. F. Wehmeier}, ``Subjunctivity and conditionals, J. Philos. 110, No. 3, 117--142 (2013; \url{doi:10.5840/jphil2013110335})]) and the actuality modal language (AML), a modal language enriched by an actuality operator forcing formulas within its scope to be evaluated at the actual world, was shown by Wehmeier [loc. cit.], when the background modal logic is quantified \(\mathbf{S5}\). In this paper, the author shows that AML is strictly expressively stronger than SML, when the background modal logic is weaker than quantified \(\mathbf{S5}\).

Recommendations

• Expressive power, mood, and actuality
• Still in the mood: the versatility of subjunctive markers in modal logic
• Some theorems on the expressive limitations of modal languages
• On the expressivity of first-order modal logic with ``actually
• Modality, quantification, and many Vlach-operators

Cites work

• Actuality in propositional modal logic
• Bare possibilia
• Completeness and decidability results for some propositional modal logics containing ``actually operators
• Counterfactuals and comparative possibility
• Expressive power, mood, and actuality
• First-order modal logic with an `actually' operator
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 2019856 (Why is no real title available?)
• scientific article; zbMATH DE number 2236683 (Why is no real title available?)
• In the mood
• Indexed actuality
• Inexact knowledge with introspection
• Quantification in nonclassical logic. Volume I.
• To the memory of Arthur Prior Formal properties of ‘now’

Cited in

(3)

• Notational variance and its variants
• Still in the mood: the versatility of subjunctive markers in modal logic
• Expressive power, mood, and actuality

This page was built for publication: In the mood for S4: the expressive power of the subjunctive modal language in weak background logics

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