Diamonds and defaults: studies in pure and applied intensional logic
Maarten de Rijke · UvA-DARE (University of Amsterdam) · 1993
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.