Abstract

This book was edited by J. Dopp from a nearly completed manuscript of Feys, and Dopp has added a bibliography and interstitial material where required. Feys has tried to survey the whole range of modal logic with the exception of topological and algebraic interpretations of modal structures and operators. First we are introduced to the modal propositional calculi through both historical and non-modal viewpoints; there are then formulated five systems of modal logic, with variants, with the standard required reduction and other properties, and a number of useful metatheorems about decision-methods and derivability are proved. The chapter on modal functional logic first handles a modal system with first-order quantification, then extends it to include class-abstraction. Among other topics appearing in the book are extensions of modal calculi and the seemingly-paradoxical one of identity in modal functional calculi. Although there are some rough spots caused by the state of the manuscript itself, this book is more than adequate for extensive study in modal logic and should serve that purpose well.—P. J. M.