1. Superintuitionistic Companions of Classical Modal Logics

   • Frank Wolter

   OriginalPaper Pages: 229 - 259

2. Consequence Operations Based on Hypergraph Satisfiability

   • Adam Kolany

   OriginalPaper Pages: 261 - 272

3. Game Logic and its Applications II

   • Mamoru Kaneko
   • Takashi Nagashima

   OriginalPaper Pages: 273 - 303

4. Characterizing Equivalential and Algebraizable Logics by the Leibniz Operator

   • Burghard Herrmann

   OriginalPaper Pages: 305 - 323