Correcting the tableau procedure for S4

DOI10.1305/NDJFL/1093870631MaRDI QIDQ761443zbMATH OpenOpenAlexFDO

Authors Bangs L. Tapscott

Publication date 1984

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

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

zbMATH Keywords

accessibilitypossible worldS4normal modal logicblocked treetableau procedure

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• scientific article; zbMATH DE number 3877148
• Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4
• A new S4 classical modal logic in natural deduction
• Path calculus in the modal logic S4
• A Polynomial Translation of S4 into T and Contraction-Free Tableaux for S4

Cited in

(2)

• scientific article; zbMATH DE number 2024627 (Why is no real title available?)
• Corrigendum to: ``A new method to obtain termination in backward proof search for modal logic S4

This page was built for publication: Correcting the tableau procedure for S4

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