Fixed points in propositional nonmonotonic logic

DOI10.1016/0004-3702(89)90057-XMaRDI QIDQ1115426zbMATH OpenFDO

Authors Grigory F. Shvarts

Publication date 1989

Published in Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

fixed pointnonmonotonic reasoningnonmonotonic logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Artificial intelligence (68T99) Logic of natural languages (03B65)

Recommendations

• Publication:5749280
• scientific article; zbMATH DE number 512988
• Domain theory for nonmonotonic functions
• Complexity Results for Nonmonotonic Logics
• Nonmonotonic reasoning, preferential models and cumulative logics

Cites work

• scientific article; zbMATH DE number 3635994 (Why is no real title available?)
• Non-monotonic logic. I

Cited in

(6)

• A Fixed Point Semantics for the ATMS
• Characters and fixed points in provability logic
• A context for belief revision: forward chaining-normal nonmonotonic rule systems
• scientific article; zbMATH DE number 4183390 (Why is no real title available?)
• Evidence for Fixpoint Logic
• scientific article; zbMATH DE number 1163924 (Why is no real title available?)

This page was built for publication: Fixed points in propositional nonmonotonic logic

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1115426)