A New Introduction to Modal Logic av M.J. Cresswell, G.E. Hughes

Denne lenge ventede boken er en erstatning for Hughes og Cresswells to klassiske studier av modal logikk: "An Introduction to Modal Logic" og "A Companion to Modal Logic". "A New Introduction to Modal Logic" er et helt nytt verk, fullstendig omskrevet av forfatterne. De har inkludert alle de nye utviklingene som har skjedd siden 1968 både innen modal proposisjonell logikk og modal predikatlogikk, uten å ofre klarheten i fremstillingen og tilgjengeligheten som var essensielle trekk ved deres tidligere verk. Boken tar leserne fra de mest grunnleggende systemene av modal proposisjonell logikk og helt opp til systemer av modal predikatlogikk med identitet. Den dekker både tekniske aspekter som fullstendighet og ufullstendighet, samt endelige og uendelige modeller, samt deres filosofiske anvendelser, spesielt innen modal predikatlogikk.