Table of Contents

Modal Quantification over Structured Domains.- Modal Logic and Model-Theoretic Syntax.- The Functional Interpretation of Modal Necessity.- Logics of Schemes for First-Order Theories and Poly-Modal Propositional Logic.- The Logic of Correct Description.- Modal Logics of Arrows.- A Full-Circle Theorem for Simple Tense Logic.- Canonical Formulas for Modal and Superintuitionistic Logics: A Short Outline.- The Modal Object Calculus and its Interpretation.- Name Index.