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

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 100,290

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

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.
On the expressive power of first-order modal logic with two-dimensional operators.Alexander W. Kocurek - 2018 - Synthese 195 (10):4373-4417.
Recursive complexity of the Carnap first order modal logic C.Amélie Gheerbrant & Marcin Mostowski - 2006 - Mathematical Logic Quarterly 52 (1):87-94.

Analytics

Added to PP
2010-08-17

Downloads
80 (#258,662)

6 months
9 (#451,423)

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 78 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 - 1739 - 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.
Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.

View all 59 references / Add more references