1. Two Natural Deduction Systems for Hybrid Logic: A Comparison

   • Torben Braüner

   OriginalPaper Pages: 1 - 23

2. Similarity Relations and the Preservation of Solidity

   • A.P. Hazen
   • Lloyd Humberstone

   OriginalPaper Pages: 25 - 46

3. Residuation, Structural Rules and Context Freeness

   • Gerhard Jäger

   OriginalPaper Pages: 47 - 59

4. Guarded Quantification in Least Fixed Point Logic

   • Gregory McColm

   OriginalPaper Pages: 61 - 110

5. Instructions for Authors

   Instructions for Authors Pages: 111 - 116