1. Nonmonotonic reasoning: from finitary relations to infinitary inference operations

   • Michael Freund
   • Daniel Lehmann

   OriginalPaper Pages: 161 - 201

2. Criteria for admissibility of inference rules. Modal and intermediate logics with the branching property

   • Vladimir V. Rybakov

   OriginalPaper Pages: 203 - 225

3. On a property of BCK-identities

   • Misao Nagayama

   OriginalPaper Pages: 227 - 234

4. What is the upper part of the lattice of bimodal logics?

   • Frank Wolter

   OriginalPaper Pages: 235 - 241

5. A gentzen system for conditional logic

   • Fernando Guzmán

   OriginalPaper Pages: 243 - 257

6. Decidability ofstit theory with a single agent andRefref Equivalence

   • Ming Xu

   OriginalPaper Pages: 259 - 298

7. Refutation systems in modal logic

   • Valentin Goranko

   OriginalPaper Pages: 299 - 324

8. Syntactic features and synonymy relations: a unified treatment of some proofs of the compactness and interpolation theorems

   • George E. Weaver

   OriginalPaper Pages: 325 - 342

9. Non-axiomatizability of Grice's implicature

   • Marek Tokarz

   OriginalPaper Pages: 343 - 349