scientific article; zbMATH DE number 149516

MaRDI QIDQ4032307zbMATH OpenFDO

Authors Cecylia Rauszer

Publication date 1 April 1993

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)

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

Cited in

(2)

• scientific article; zbMATH DE number 35416 (Why is no real title available?)
• scientific article; zbMATH DE number 4101147 (Why is no real title available?)

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)