Synthese 195 (10):4373-4417 (2018)

Authors
Alexander W. Kocurek
Cornell University
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.
Keywords First-Order Modal Logic  Bisimulation  Expressive Power  Two-Dimensional Operators  Actually  Fixedly  Vlach Operators
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11229-016-1172-3
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy

 PhilArchive page | Other versions
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Model Theory.Michael Makkai, C. C. Chang & H. J. Keisler - 1991 - Journal of Symbolic Logic 56 (3):1096.
Modal Logic.Marcus Kracht - 2002 - Bulletin of Symbolic Logic 8 (2):299-301.
Two Notions of Necessity.Martin Davies & Lloyd Humberstone - 1980 - Philosophical Studies 38 (1):1-31.
Counterfactuals and Comparative Possibility.David K. Lewis - 1973 - Journal of Philosophical Logic 2 (4):418-446.
Entities and Indices.M. J. Cresswell - 1992 - Studia Logica 51 (2):338-339.

View all 21 references / Add more references

Citations of this work BETA

Actuality and the a Priori.Fabio Lampert - 2018 - Philosophical Studies 175 (3):809-830.

Add more citations

Similar books and articles

Expressive Power of “Now” and “Then” Operators.Igor Yanovich - 2015 - Journal of Logic, Language and Information 24 (1):65-93.
Expressive Power, Mood, and Actuality.Rohan French - 2013 - Synthese 190 (9):1689-1699.
Interpolation for Extended Modal Languages.Balder ten Cate - 2005 - Journal of Symbolic Logic 70 (1):223-234.
Expressivity of Second Order Propositional Modal Logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Generalized Quantifiers and Modal Logic.Wiebe Hoek & Maarten Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Generalized Quantifiers and Modal Logic.Wiebe Van Der Hoek & Maarten De Rijke - 1993 - Journal of Logic, Language and Information 2 (1):19-58.
Expressive Completeness of Temporal Logic of Trees.Bernd-Holger Schlingloff - 1992 - Journal of Applied Non-Classical Logics 2 (2):157-180.
Modal Logic and Model Theory.Giangiacomo Gerla & Virginia Vaccaro - 1984 - Studia Logica 43 (3):203 - 216.
The Modal Logic of Inequality.Maarten de Rijke - 1992 - Journal of Symbolic Logic 57 (2):566-584.
The Modal Logic of Inequality.Maarten De Rijke - 1992 - Journal of Symbolic Logic 57 (2):566 - 584.
The Problem of Cross-World Predication.Alexander Kocurek - 2016 - Journal of Philosophical Logic 45 (6):697-742.

Analytics

Added to PP index
2016-08-20

Total views
151 ( #59,192 of 2,340,252 )

Recent downloads (6 months)
66 ( #8,541 of 2,340,252 )

How can I increase my downloads?

Downloads

My notes