scientific article; zbMATH DE number 149516

zbMATH Open0846.03012MaRDI QIDQ4032307FDOQ4032307

Authors: Cecylia Rauszer 

Publication date: 1 April 1993

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

Recommendations

• scientific article; zbMATH DE number 35426
• Intuitionistic autoepistemic logic
• Autoepistemic logic
• Autoepistemic equilibrium logic and epistemic specifications
• Autoepistemic logic of first order and its expressive power
• Logic program semantics and circumscription of autoepistemic theories
• scientific article; zbMATH DE number 60835
• scientific article; zbMATH DE number 97793
• scientific article; zbMATH DE number 35416

zbMATH Keywords

modal logicnonmonotonic logicstable setsLindenbaum algebraautoepistemic setsS4 maximal theories

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Knowledge representation (68T30) Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logical aspects of Boolean algebras (03G05)

Cited In (2)

• Title not available (Why is that?)
• Title not available (Why is that?)

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