scientific article

zbMath0673.03016MaRDI QIDQ3826524

Victor W. Marek

Publication date: 1989

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

modal logicnonmonotonic logicautoepistemic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (8)

A decision method for nonmonotonic reasoning based on autoepistemic reasoning ⋮ Modal logic for default reasoning ⋮ On the relation between default and autoepistemic logic ⋮ Multi-valued autoepistemic logic ⋮ Autoepistemic logic of knowledge and beliefs ⋮ Stable and extension class theory for logic programs and default logics ⋮ The relationship between stable, supported, default and autoepistemic semantics for general logic programs ⋮ Dualities between alternative semantics for logic programming and nonmonotonic reasoning

This page was built for publication: