Finite and physical modalities

DOI10.1305/ndjfl/1134397661zbMath1091.03003OpenAlexW2082342740MaRDI QIDQ817962

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

modal logicconsistencysatisfiabilitytableau 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

• Proof methods for modal and intuitionistic logics
• The Modality of Finite (Graded Modalities VII)
• VIII.--THE LOGIC OF CAUSAL PROPOSITIONS
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Finite and physical modalities