First-Order Modal Logic

&
Dordrecht, Netherland: Kluwer Academic Publishers (1998)
  Copy   BIBTEX

Abstract

This is a thorough treatment of first-order modal logic. The book covers such issues as quantification, equality (including a treatment of Frege's morning star/evening star puzzle), the notion of existence, non-rigid constants and function symbols, predicate abstraction, the distinction between nonexistence and nondesignation, and definite descriptions, borrowing from both Fregean and Russellian paradigms.

Categories

Keywords

qml

Reprint years

2023

ISBN(s)

079235334X   9780792353348   9783031407130   9783031407147   303140713X

DOI

10.1007/978-3-031-40714-7
View all bargains

Buy this book

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,031

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

First-Order Modal Logic.Roderic A. Girle, Melvin Fitting & Richard L. Mendelsohn - 2002 - Bulletin of Symbolic Logic 8 (3):429.
First-order modal logic.Melvin Fitting, R. Mendelsohn & Roderic A. Girle - 2002 - Bulletin of Symbolic Logic 8 (3):429-430.
M. Fitting and RL Mendelsohn, First-Order Modal Logic.V. Shehtman - 2001 - Journal of Logic Language and Information 10 (3):403-405.
First-order modal logic, M. fitting and R.l. Mendelsohn.Valentin Shehtman - 2001 - Journal of Logic, Language and Information 10 (3):403-405.
First-Order Modal Logic with an 'Actually' Operator.Yannis Stephanou - 2005 - Notre Dame Journal of Formal Logic 46 (4):381-405.
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 27-30.
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev (eds.), Advances in Modal Logic. CSLI Publications. pp. 27-30.
Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.

Analytics

Added to PP
2010-08-17

Downloads
66 (#252,083)

6 months
27 (#113,883)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Melvin Fitting
CUNY Graduate Center
Richard L. Mendelsohn
CUNY Graduate Center

Citations of this work

Variabilism.Samuel Cumming - 2008 - Philosophical Review 117 (4):525-554.
Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.
Modal Logic.James W. Garson - 2009 - Stanford Encyclopedia of Philosophy.

View all 82 citations / Add more citations

References found in this work

On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
A Treatise of Human Nature (1739-40).David Hume - 1969 - Mineola, N.Y.: Oxford University Press. Edited by Ernest Campbell Mossner.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.
A Treatise of Human Nature.David Hume & A. D. Lindsay - 1958 - Philosophical Quarterly 8 (33):379-380.

View all 62 references / Add more references