Finite and Physical Modalities
Gattari, Mauro
Notre Dame J. Formal Logic, Tome 46 (2005) no. 3, p. 425-437 / Harvested from Project Euclid
Text on Project Euclid
PDF
Alt PDF
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.
Publié le : 2005-10-14
Classification:  modal logic,  finite modalities,  physical modalities,  tableau system,  consistency property,  03B45,  03B25 
@article{1134397661,
     author = {Gattari, Mauro},
     title = {Finite and Physical Modalities},
     journal = {Notre Dame J. Formal Logic},
     volume = {46},
     number = {3},
     year = {2005},
     pages = { 425-437},
     language = {en},
     url = {http://dml.mathdoc.fr/item/1134397661}
}

Gattari, Mauro. Finite and Physical Modalities. Notre Dame J. Formal Logic, Tome 46 (2005) no. 3, pp.  425-437. http://gdmltest.u-ga.fr/item/1134397661/