scientific article; zbMATH DE number 910433

MaRDI QIDQ4888321zbMATH OpenFDO

Authors Johan van Den Akker, Yao-Hua Tan

Publication date 4 November 1996

zbMATH Keywords

Inconsistent Default Logicnonmonotonic reasoningparaconsistent logicQuestion Marked Logic

Mathematics Subject Classification ID

Paraconsistent logics (03B53) Logic in artificial intelligence (68T27)

Recommendations

• QMML: Quantified Minimal Modal Logic and Its Applications
• Proof theory of paraconsistent quantum logic
• Inconsistency Tolerance
• Quantified logic programs, revisited
• Quantitative Logic Programming Revisited
• QMaude: quantitative specification and verification in rewriting logic
• scientific article; zbMATH DE number 6287590
• Formalization of metatheory of the Quipper quantum programming language in a linear logic
• Propositional Q-logic
• The QMLTP problem library for first-order modal logics

Cited in

(1)

• Restricted semantics for default reasoning

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