First-order modal theories. II: Propositions

Studia Logica 39:159 (1980)
  Copy   BIBTEX

Abstract

This paper is part of a general programme of developing and investigating particular first- order modal theories. In the paper, a modal theory of propositions is constructed under the assumption that there are genuinely singular propositions, ie. ones that contain individuals as constituents. Various results on decidability, axiomatizability and definability are established

Categories

Keywords

Reprint years

2006

DOI

10.1007/bf00370319

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,853

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

Review: Kit Fine, First-Order Modal Theories I--Sets; Kit Fine, First-Order Modal Theories; Kit Fine, First-Order Modal Theories III--Facts. [REVIEW]F. W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
First-order modal theories III — facts.Kit Fine - 1982 - Synthese 53 (1):43-122.
First-order modal theories I--sets.Kit Fine - 1981 - Noûs 15 (2):177-205.
First-order multi-modal deduction.Matthew Stone - unknown
Is science first-order?Ulrich Meyer - 2002 - Analysis 62 (4):305-308.
Kit Fine: First-Order Modal Theories I--Sets.First-Order Modal Theories.First-Order Modal Theories III--Facts.W. Kroon - 1988 - Journal of Symbolic Logic 53 (4):1262-1269.
On Incompleteness in Modal Logic. An Account Through Second-Order Logic.Mircea Dumitru - 1998 - Dissertation, Tulane University
Expressivity of second order propositional modal logic.Balder ten Cate - 2006 - Journal of Philosophical Logic 35 (2):209-223.
Concurrent Modalities in Later Mediaeval and Second Scholastic Logic.Lynn Dell Cates - 1994 - Dissertation, The University of Texas at Austin
Representability in second-order propositional poly-modal logic.G. Aldo Antonelli & Richmond H. Thomason - 2002 - Journal of Symbolic Logic 67 (3):1039-1054.
Higher-Order Contingentism, Part 1: Closure and Generation.Peter Fritz & Jeremy Goodman - 2016 - Journal of Philosophical Logic 45 (6):645-695.
Topology and modality: The topological interpretation of first-order modal logic: Topology and modality.Steve Awodey - 2008 - Review of Symbolic Logic 1 (2):146-166.
First order theories of individual concepts and propositions.John McCarthy - 1979
Some kinds of modal completeness.J. F. A. K. van Benthem - 1980 - Studia Logica 39 (2):125-141.
Toward model-theoretic modal logics.Minghui Ma - 2010 - Frontiers of Philosophy in China 5 (2):294-311.

Analytics

Added to PP
2009-01-28

Downloads
300 (#67,585)

6 months
9 (#307,343)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Kit Fine
New York University

Citations of this work

Reference to Abstract Objects in Discourse.Nicholas Asher - 1993 - Dordrecht, Boston, and London: Kluwer.
Serious Actualism and Nonexistence.Christopher James Masterman - 2024 - Australasian Journal of Philosophy.
Ground and Grain.Peter Fritz - 2021 - Philosophy and Phenomenological Research 105 (2):299-330.
Essence and Necessity.Andreas Ditter - 2022 - Journal of Philosophical Logic 51 (3):653-690.

View all 18 citations / Add more citations

References found in this work

Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Propositional quantifiers in modal logic.Kit Fine - 1970 - Theoria 36 (3):336-346.
Properties, propositions and sets.Kit Fine - 1977 - Journal of Philosophical Logic 6 (1):135 - 191.
Egocentric logic.A. N. Prior - 1968 - Noûs 2 (3):191-207.
ModelTtheory for Modal Logic. Part I — The de re/de Dicto distinction.Kit Fine - 1978 - Journal of Philosophical Logic 7 (1):125 - 156.

View all 12 references / Add more references