scientific article; zbMATH DE number 1303346

zbMATH Open0928.03011MaRDI QIDQ4249899FDOQ4249899

Authors: Hans Jürgen Ohlbach 

Publication date: 17 June 1999

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

Recommendations

• Automated theorem proving by resolution in non-classical logics
• scientific article; zbMATH DE number 2042611
• scientific article; zbMATH DE number 683345
• Translation Methods for Non-Classical Logics: An Overview

zbMATH Keywords

resolutionnonclassical logicsautomated reasoningsemantics of connectives and operators

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Mechanization of proofs and logical operations (03B35)

Cited In (3)

• Title not available (Why is that?)
• First-order resolution methods for modal logics
• Calendar Logic

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