On the expressive power of first-order modal logic with two-dimensional operators

Synthese 195 (10):4373-4417 (2018)
Download Edit this record How to cite View on PhilPapers
Abstract
Many authors have noted that there are types of English modal sentences cannot be formalized in the language of basic first-order modal logic. Some widely discussed examples include “There could have been things other than there actually are” and “Everyone who is actually rich could have been poor.” In response to this lack of expressive power, many authors have discussed extensions of first-order modal logic with two-dimensional operators. But claims about the relative expressive power of these extensions are often justified only by example rather than by rigorous proof. In this paper, we provide proofs of many of these claims and present a more complete picture of the expressive landscape for such languages.
ISBN(s)
PhilPapers/Archive ID
KOCOTE-2
Revision history
Archival date: 2020-05-17
View upload history
References found in this work BETA
Model Theory.Makkai, Michael; Chang, C. C. & Keisler, H. J.
Modal Logic.Kracht, Marcus
Two Notions of Necessity.Davies, Martin & Humberstone, Lloyd

View all 21 references / Add more references

Citations of this work BETA

Add more citations

Added to PP index
2016-08-20

Total views
107 ( #31,484 of 49,035 )

Recent downloads (6 months)
29 ( #23,888 of 49,035 )

How can I increase my downloads?

Downloads since first upload
This graph includes both downloads from PhilArchive and clicks to external links.