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

David Pearce, Heinrich Wansing (Eds.): Nonclassical Logics and Information Processing, International Workshop, Berlin, Germany, November 9-10, Proceedings. Lecture Notes in Computer Science 619 Springer 1992, ISBN 3-540-55745-8 BibTeX

@proceedings{DBLP:conf/berlin/1990,
  editor    = {David Pearce and
               Heinrich Wansing},
  title     = {Nonclassical Logics and Information Processing, International
               Workshop, Berlin, Germany, November 9-10, Proceedings},
  booktitle = {Nonclassical Logics and Information Processing},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {619},
  year      = {1992},
  isbn      = {3-540-55745-8},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

Modal Systems

Ewa Orlowska: Algebraic Aspects of the Relational Knowledge Representation: Modal Relation Algebras. 1-22 BibTeX
Christian Schumacher: A Logic for Memory. 23-45 BibTeX
Michael Morreau: Actions with Preconditions and Postconditions. 46-55 BibTeX

Logic Programming

Jürgen Gehne: Testclasses and Closed World Assumptions for Non-Horn Theories. 56-62 BibTeX
David Pearce: Reasoning with Negative Information, II: Hard Negation, Strong Negation and Logic Programs. 63-79 BibTeX
Gerd Wagner: Lindenbaum-Algebraic Semantics of Logic Programs. 80-91 BibTeX

Nonmonotonic Logics

André Fuhrmann: Conditional Logics and Cumulative Logics. 92-103 BibTeX
Heinrich Herre: Semantics of Nonmonotonic Reasoning in Logic Programming. 104-124 BibTeX

Proof Theory

Heinrich Wansing: Formulas-as-types for a Hierarchy of Sublogics of Intuitionistic Propositional Logic. 125-145 BibTeX
Peter Schroeder-Heister: Cut Elimination for Logics with Definitional Reflection. 146-171 BibTeX