scientific article; zbMATH DE number 1418327

zbMATH Open0947.03046MaRDI QIDQ4941889

Yann Loyer, Daniel Stamate, Nicolas Spyratos

Publication date: 19 March 2000

Title of this publication is not available (Why is that?)

zbMATH Keywords

four-valued logiclogic programminginconsistencylogics of knowledge

Mathematics Subject Classification ID

Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70) Semantics in the theory of computing (68Q55) Logic programming (68N17) Many-valued logic (03B50)

Related Items (1)

An empirical study of the 4-valued Kripke--Kleene and 4-valued well-founded semantics in random propositional logic programs

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