Finite and physical modalities

DOI10.1305/NDJFL/1134397661zbMATH Open1091.03003OpenAlexW2082342740MaRDI QIDQ817962FDOQ817962

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

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

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)

Cites Work

• Title not available (Why is that?)
• Proof methods for modal and intuitionistic logics
• Title not available (Why is that?)
• Title not available (Why is that?)
• The Modality of Finite (Graded Modalities VII)
• Title not available (Why is that?)
• 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)