Author:
Fermüller Christian G.,Moser Georg,Zach Richard
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. Ofer Arieli and Arnon Avron. The logical role of the four-valued bilattice. In 13th Annual IEEE Symposium on Logic in Computer Science (LICS), pages 118–126, Indianapolis (USA),1998. IEEE Computer Society.
2. Ofer Arieli and Arnon Avron. The value of the four values. Artificial Intelligence, 102(1):97–141, 1998.
3. Lect Notes Comput Sci;P. Balbiani,1996
4. Nuel D. Belnap. A useful four-valued logic. In J.M. Dunn and G. Epstein,editors, Modern Uses of Multiple-Valued Logic, pages 8–37. D. Reidel Publishing Co., 1977.
5. Thomas Eiter and Georg Gottlob. On the complexity of propositional knowledge base revision, updates, and counter factuals. Artificial Intelligence, 57:227–270, 1992.