Finite and physical modalities (Q817962)

The logic \(K _{f}\) of the modalities of finite, meant to capture the notion of `there exist a finite number of accessible worlds such that \dots is true', was introduced and axiomatized by Fattorosi. In this paper the logical framework of \(K _{f}\) is enriched by giving consistency properties and a tableau system (which yields decidability) explicitly designed for \(K _{f}\), and a shorter and more natural axiomatization is introduced. Moreover, the relationship between \(K _{f}\) and the much older logic of the physical modalities of Burks is discussed.