scientific article; zbMATH DE number 4085609

zbMATH Open0664.03007MaRDI QIDQ3815280FDOQ3815280

Authors:

Publication date: 1988

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

Recommendations

• scientific article; zbMATH DE number 3885864
• Decidability by resolution for propositional modal logics
• Logics for propositional determinacy and independence
• Decision problems for propositional linear logic
• Decidable and enumerable predicate logics of provability
• scientific article; zbMATH DE number 50606
• Decidability of some classes of modal logic
• AI 2003: Advances in Artificial Intelligence
• Decidability of definability
• Decidability of logical theories and their combination

zbMATH Keywords

Boolean equationsA-decisivityF-decisivity

Mathematics Subject Classification ID

Classical propositional logic (03B05)

Cited In (3)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The decidability of syllogism

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