In the mood for S4: the expressive power of the subjunctive modal language in weak background logics (Q2352453)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6454993
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | In the mood for S4: the expressive power of the subjunctive modal language in weak background logics |
scientific article; zbMATH DE number 6454993 |
Statements
In the mood for S4: the expressive power of the subjunctive modal language in weak background logics (English)
0 references
2 July 2015
0 references
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}\).
0 references
expressive power
0 references
actuality operator
0 references
subjunctive modal logic
0 references
0 references
0.8841975927352905
0 references
0.8219399452209473
0 references
0.735194206237793
0 references
0.7274050712585449
0 references
0.7231069207191467
0 references
