1. Synthetic mechanics revisited

   • John P. Burgess

   OriginalPaper Pages: 121 - 130

2. A complete deductive-system for since-until branching-time logic

   • Alberto Zanardo

   OriginalPaper Pages: 131 - 148

3. Two methods of constructing contractions and revisions of knowledge systems

   • Hans Rott

   OriginalPaper Pages: 149 - 173

4. Theory contraction through base contraction

   • André Fuhrmann

   OriginalPaper Pages: 175 - 203

5. On the ontology of branching quantifiers

   • Thomas E. Patton

   OriginalPaper Pages: 205 - 223