Correcting the tableau procedure for S4

DOI10.1305/NDJFL/1093870631zbMATH Open0556.03016OpenAlexW2007330806MaRDI QIDQ761443FDOQ761443

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

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

zbMATH Keywords

accessibilitypossible worldS4normal modal logicblocked treetableau procedure

Mathematics Subject Classification ID

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

Cited In (2)

• Title not available (Why is that?)
• 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)