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

reprint Fitting, Melvin; Mendelsohn, Richard L. (2023) "First-Order Modal Logic". Springer Verlag
View all bargains

Buy this book

Find it on Amazon.com
Image

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 141,388

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 with an 'Actually' Operator.Yannis Stephanou - 2005 - Notre Dame Journal of Formal Logic 46 (4):381-405.
First-order modal logic, M. fitting and R.l. Mendelsohn.Valentin Shehtman - 2001 - Journal of Logic, Language and Information 10 (3):403-405.
Completeness and incompleteness in first-order modal logic: an overview.Valentin Shehtman - 1998 - In Marcus Kracht, Maarten de Rijke, Heinrich Wansing & Michael Zakharyaschev, Advances in Modal Logic. CSLI Publications. pp. 27-30.
First-order modal logic in the necessary framework of objects.Peter Fritz - 2016 - Canadian Journal of Philosophy 46 (4-5):584-609.
Abstraction in First-Order Modal Logic.Robert C. Stalnaker & Richmond H. Thomason - 1968 - Theoria 34 (3):203-207.
First-Order Modal Logic Via Logical Categories.Silvio Ghilardi & Jérémie Marquès - forthcoming - Journal of Symbolic Logic:1-40.
First-Order Modal Logic and a First-Order Theory of Propositions.Robert Stalnaker - 2022 - In Propositions: ontology and logic. New York, NY: Oxford University Press. pp. 87-126.
First-Order Modal Logic: Frame Definability and a Lindström Theorem.R. Zoghifard & M. Pourmahdian - 2018 - Studia Logica 106 (4):699-720.
Topology and Modality: The Topological Interpretation of First-Order Modal Logic.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.

Analytics

Added to PP
2010-08-17

Downloads
170 (#242,450)

6 months
45 (#182,305)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

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

Citations of this work

Matrix Modal Logics with Indeterminate Truth Values.Andrey Kuznetsov - 2025 - Journal of Current Trends in Computer Science Research 4 (6):01-21.
Can All Things Be Counted?Chris Scambler - 2021 - Journal of Philosophical Logic 50 (5):1079-1106.
Quantification and Epistemic Modality.Dilip Ninan - 2018 - Philosophical Review 127 (4):433-485.

View all 234 citations / Add more citations

References found in this work

Meaning and Necessity: A Study in Semantics and Modal Logic.Rudolf Carnap - 1947 - Chicago, IL, USA: University of Chicago Press.
Naming and Necessity.S. Kripke - 1972 - Tijdschrift Voor Filosofie 45 (4):665-666.
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Modal Logic: An Introduction.Brian F. Chellas - 1980 - New York: Cambridge University Press.

View all 58 references / Add more references