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

(13)

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

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)