scientific article; zbMATH DE number 611093

MaRDI QIDQ4298362zbMATH OpenFDO

Authors Torsten Schaub, P. Besnard

Publication date 26 July 1994

zbMATH Keywords

default logicKripke structuresLukasiewicz's logicmodal formulamodal interpretationworlds semantics

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Alternative approaches to default logic
• scientific article; zbMATH DE number 5198932
• scientific article; zbMATH DE number 140413
• scientific article; zbMATH DE number 1269576
• scientific article; zbMATH DE number 67492

Cited in

(9)

• On cumulative default logics
• Uniform semantic treatment of default and autoepistemic logics
• Any-world assumptions in logic programming
• Default logic and it's variants: A semantical view
• scientific article; zbMATH DE number 140413 (Why is no real title available?)
• scientific article; zbMATH DE number 1882045 (Why is no real title available?)
• Constraints for input/output logics
• Non-monotonic reasoning via dynamic consequence
• A fibrational framework for possible-world semantics of \textsc{Algol}-like languages

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