Open Access
2005 Finite and Physical Modalities
Mauro Gattari
Notre Dame J. Formal Logic 46(4): 425-437 (2005). DOI: 10.1305/ndjfl/1134397661


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.


Download Citation

Mauro Gattari. "Finite and Physical Modalities." Notre Dame J. Formal Logic 46 (4) 425 - 437, 2005.


Published: 2005
First available in Project Euclid: 12 December 2005

zbMATH: 1091.03003
MathSciNet: MR2183053
Digital Object Identifier: 10.1305/ndjfl/1134397661

Primary: 03B45
Secondary: 03B25

Keywords: consistency property , finite modalities , modal logic , physical modalities , tableau system

Rights: Copyright © 2005 University of Notre Dame

Vol.46 • No. 4 • 2005
Back to Top