scientific article; zbMATH DE number 1303346

MaRDI QIDQ4249899zbMATH OpenFDO

Authors Hans Jürgen Ohlbach

Publication date 17 June 1999

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)

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

Cited in

(3)

• scientific article; zbMATH DE number 1943847 (Why is no real title available?)
• 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)