1. Linear, Branching Time and Joint Closure Semantics for Temporal Logic

   • Joeri Engelfriet
   • Jan Treur

   OriginalPaper Pages: 389 - 425

2. Some Notes on the Formal Properties of Bidirectional Optimality Theory

   • Gerhard Jäger

   OriginalPaper Pages: 427 - 451

3. Kripke Semantics for Modal Substructural Logics

   • Norihiro Kamide

   OriginalPaper Pages: 453 - 470

4. ML Systems: A Proof Theory for Contexts

   • Luciano Serafini
   • Fausto Giunchiglia

   OriginalPaper Pages: 471 - 518

5. Index of Authors of Volume 11

   Authors Index Pages: 519 - 519

6. Contents of Volume 11

   Volume Contents Pages: 521 - 522

7. Instructions for Authors

   Instructions for Authors Pages: 523 - 529