Finite and Physical Modalities

Notre Dame Journal of Formal Logic 46 (4):425-437 (2005)
  Copy   BIBTEX

Abstract

The logic Kf of the modalities of finite, devised to capture the notion of 'there exists a finite number of accessible worlds such that . . . is true', was introduced and axiomatized by Fattorosi. In this paper we enrich the logical framework of Kf: we give consistency properties and a tableau system (which yields the decidability) explicitly designed for Kf, and we introduce a shorter and more natural axiomatization. Moreover, we show the strong and suggestive relationship between Kf and the much older logic of the physical modalities of Burks

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 76,297

External links

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

Through your library

Similar books and articles

Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.
God, Modalities, and Conceptualism.Amy Karofsky - 2003 - Philosophy and Theology 15 (2):257-271.
Purely physical modalities.John Bacon - 1981 - Theoria 47 (3):134-141.
Time and the Physical Modalities.Storrs McCall - 1969 - The Monist 53 (3):426-446.
Physical entropy and the senses.Kenneth H. Norwich - 2005 - Acta Biotheoretica 53 (3):167-180.
'Might' Made Right.Kai von Fintel & Anthony Gillies - 2011 - In Andy Egan & Brian Weatherson (eds.), Epistemic Modality. Oxford University Press. pp. 108–130.
Hereditary undecidability of some theories of finite structures.Ross Willard - 1994 - Journal of Symbolic Logic 59 (4):1254-1262.
What Is God Doing in the Quad?Robert Mckim - 1987 - Philosophy Research Archives 13:637-653.
Spatial ontology and physical modalities.Hugh M. Lacey & Elizabeth Anderson - 1980 - Philosophical Studies 38 (3):261 - 285.

Analytics

Added to PP
2010-08-24

Downloads
14 (#732,996)

6 months
1 (#450,425)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

Logical necessity, physical necessity, ethics, and quantifiers.Richard Montague - 1960 - Inquiry: An Interdisciplinary Journal of Philosophy 3 (1-4):259 – 269.
The logic of causal propositions.Arthur W. Burks - 1951 - Mind 60 (239):363-382.
The Logic of Causal Propositions.Nicholas Rescher & Arthur W. Burks - 1951 - Journal of Symbolic Logic 16 (4):277.
The Modality of Finite.Maurizio Fattorosi-Barnaba & Uliano Paolozzi Balestrini - 1999 - Mathematical Logic Quarterly 45 (4):471-480.

Add more references