Diamonds and Defaults: Studies in Pure and Applied Intensional Logic

Preface. Beyond Accessibility: Functional Models for Modal Logic; J. van Benthem. Modal Logic and Attribute Value Structures; P. Blackburn. Interpreting Modal Natural Deduction in Type Theory; T. Borghuis. Modal Translations in K and D; K. Dosen. Logical Omniscience and Inconsistent Belief; J.O.M. Jaspars. Cautious Backtracking in Truth Maintenance Systems; C. Jonker. How Completeness and Correspondence Theory got Married; M. Kracht. Dyadic Modalities and Lambek Calculus; D. Roorda. A Logic with Progressive Tenses; V. Shehtman. The Complexity of Propositional Tense Logics; E. Spaan. On Total Awareness Logics; E. Thijsse. Completeness via Completeness: Since and Until; Y. Venema. The Feasibility of Defeat in Defeasible Reasoning; G. Vreeswijk. Index.