scientific article; zbMATH DE number 3877148

MaRDI QIDQ3344174zbMATH OpenFDO

Authors Graham Wrightson

Publication date 1984

zbMATH Keywords

modal logicsemantic tableau proof procedures

Mathematics Subject Classification ID

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

Recommendations

• First-order modal tableaux
• TABLEAUX: A general theorem prover for modal logics
• On two approaches to modal theorem proving
• A tableau-like proof procedure for normal modal logics
• Building decision procedures for modal logics from propositional decision procedures: The case study of modal \(K(m)\).

Cited in

(17)

• First-order modal tableaux
• TABLEAUX: A general theorem prover for modal logics
• A tableau style proof system for two paraconsistent logics
• A tableau-like proof procedure for normal modal logics
• Pure modal logic of names and tableau systems
• Tableaux for some modal-tense logics Graham Priest's fashion
• scientific article; zbMATH DE number 1612550 (Why is no real title available?)
• scientific article; zbMATH DE number 4148058 (Why is no real title available?)
• scientific article; zbMATH DE number 3908410 (Why is no real title available?)
• Semantics-Based Translation Methods for Modal Logics
• scientific article; zbMATH DE number 980412 (Why is no real title available?)
• Hintikka multiplicities in matrix decision methods for some propositional modal logics
• scientific article; zbMATH DE number 3997757 (Why is no real title available?)
• On two approaches to modal theorem proving
• Tableau-based translation from first-order logic to modal logic
• A method of mutual conversion of labeled and tableau deduction
• Correcting the tableau procedure for S4

This page was built for publication:

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