scientific article; zbMATH DE number 1761406

MaRDI QIDQ4537426zbMATH OpenFDO

Authors Georg Gottlob

Publication date 30 June 2002

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in computer science (03B70) Logic in artificial intelligence (68T27)

Recommendations

• Some modifications of Carnap's modal logic
• NP trees and Carnap's modal logic
• A decision method for nonmonotonic reasoning based on autoepistemic reasoning
• Autoepistemic logic
• The complexity of reasoning for fragments of autoepistemic logic

Cited in

(5)

• Remarks on a Carnapian extension of S5
• Recursive complexity of the Carnap first order modal logic C
• CARNAP’S PROBLEM FOR MODAL LOGIC
• A Carnapian Logic of Conceivability
• Some modifications of Carnap's modal 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 Q4537426)