323 | -- | 339 | John Bacon. the |
340 | -- | 351 | Dov M. Gabbay. Applications of scott's notion of consequence to the study of general binary intensional connectives and entailment |
352 | -- | 369 | Kuno Lorenz. Rules versus theorems |
370 | -- | 386 | John F. Post. Shades of the liar |
387 | -- | 392 | Pavel Tichý. de dicto modalities in quantified S5 |
393 | -- | 415 | Roger S. Woolhouse. Tensed modalities |