Finite and physical modalities

DOI10.1305/NDJFL/1134397661MaRDI QIDQ817962zbMATH OpenOpenAlexFDO

Authors Mauro Gattari

Publication date 23 March 2006

Published in Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1305/ndjfl/1134397661

zbMATH Keywords

consistencyfinite modalitymodal logicphysical modalitysatisfiabilitytableau system

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45)

Review text

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.

Recommendations

• The Modality of Finite (Graded Modalities VII)
• scientific article; zbMATH DE number 1215479
• On the axiomatization of finite K-frames
• Normal modal logics containing KTB with some finiteness conditions
• scientific article; zbMATH DE number 1036761

Cites work

• scientific article; zbMATH DE number 3654070 (Why is no real title available?)
• scientific article; zbMATH DE number 3670430 (Why is no real title available?)
• scientific article; zbMATH DE number 1764657 (Why is no real title available?)
• scientific article; zbMATH DE number 3316881 (Why is no real title available?)
• Proof methods for modal and intuitionistic logics
• The Modality of Finite (Graded Modalities VII)
• VIII.--THE LOGIC OF CAUSAL PROPOSITIONS

Cited in

(2)

• Modular representations as a possible basis of finite physics
• The Modality of Finite (Graded Modalities VII)

This page was built for publication: Finite and physical modalities

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q817962)