scientific article; zbMATH DE number 611095

MaRDI QIDQ4298364zbMATH OpenFDO

Authors Pierre Siegel, Camilla Schwind

Publication date 20 June 1995

zbMATH Keywords

bimodal predicate logicdefault logichypothesis theoryKripke semanticsnonmonotonic reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Logic in artificial intelligence (68T27)

Recommendations

• Modal logic based theory for non-monotonic reasoning
• scientific article; zbMATH DE number 4068338
• scientific article; zbMATH DE number 989172
• A modal nonmonotonic logic
• Modal nonmonotonic logics demodalized

Cited in

(11)

• A logical model of HCP
• A semantics and methodology for \textit{ceteris paribus} hypotheses
• An epistemic logic with hypotheses
• scientific article; zbMATH DE number 989172 (Why is no real title available?)
• A Possible Modal Formulation of Comprehension Scheme
• HIERARCHICAL UNCERTAINTY METATHEORY BASED UPON MODAL LOGIC
• Modal logic based theory for non-monotonic reasoning
• scientific article; zbMATH DE number 1114035 (Why is no real title available?)
• О логиках эмпирических модальностей
• Graded hypothesis theories
• An ASP-based approach for Boolean networks representation and attractor detection

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