Workshop on Nonclassical Logics and Information Processing 1990: Berlin, Germany

Modal Systems

Logic Programming

Nonmonotonic Logics

Proof Theory

a service of Schloss Dagstuhl - Leibniz Center for Informatics