Finite and physical modalities

DOI10.1305/NDJFL/1134397661MaRDI QIDQ817962zbMATHOpenAlexFDO

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

consistencymodal logicsatisfiabilitytableau systemfinite modalityphysical modality

Mathematics Subject Classification ID

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

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

(1)

• Modular representations as a possible basis of finite physics

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)