scientific article; zbMATH DE number 922622

MaRDI QIDQ4893142zbMATH OpenFDO

Authors Tadashi Araragi

Publication date 13 January 1997

zbMATH Keywords

propositional modal logictransformation of modal formulas into first-order formulasuniform theorem proving tableau method

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Mechanization of proofs and logical operations (03B35)

Recommendations

• TABLEAUX: A general theorem prover for modal logics
• A uniform tableau method for intuitionistic modal logics. I
• Tableau metatheorem for modal logics
• First-order modal tableaux
• Publication:3490986

Cited in

(4)

• Tableau metatheorem for modal logics
• A Tableaux Method for Systematic Simultaneous Search for Refutations and Models using Equational Problems
• A uniform tableau method for intuitionistic modal logics. I
• Automated Reasoning

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 Q4893142)