Ohlbach, Hans Jürgen Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-225.pdf (Any fulltext), 256KB
Ohlbach, H. J.(1994). Synthesizing semantics for extensions of propositional logic (MPI-I-94-225). Saarbrücken: Max-Planck-Institut für Informatik.