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

Rohan French

Research output: Contribution to journalArticleResearchpeer-review

2 Citations (Scopus)


Our concern here is with the extent to which the expressive equivalence of Wehmeier's Subjunctive Modal Language (SML) and the Actuality Modal Language (AML) is sensitive to the choice of background modal logic. In particular we will show that, when we are enriching quantified modal logics weaker than S5, AML is strictly expressively stronger than SML, this result following from general considerations regarding the relationship between operators and predicate markers. This would seem to complicate arguments given in favour of SML which rely upon its being expressively equivalent to AML. (c) 2014, Springer Science+Business Media Dordrecht.
Original languageEnglish
Pages (from-to)239 - 263
Number of pages25
JournalStudia Logica
Issue number2
Publication statusPublished - 2015


  • Expressive Power
  • Actuality operator
  • Subjective modal logic

Cite this