scientific article; zbMATH DE number 3877148

zbMATH Open0551.03008MaRDI QIDQ3344174FDOQ3344174

Authors: Graham Wrightson 

Publication date: 1984

Title of this publication is not available (Why is that?)

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)\).

zbMATH Keywords

modal logicsemantic tableau proof procedures

Mathematics Subject Classification ID

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

Cited In (13)

• First-order modal tableaux
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)
• A tableau-like proof procedure for normal modal logics
• Title not available (Why is that?)
• 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
• Title not available (Why is that?)

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)