scientific article; zbMATH DE number 922622

zbMATH Open0854.03010MaRDI QIDQ4893142FDOQ4893142

Authors: Tadashi Araragi 

Publication date: 13 January 1997

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

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

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)

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)