A NEW INTRODUCTION TO MODAL LOGIC

A NEW INTRODUCTION TO MODAL LOGIC Preface ix Part One: Basic Modal Propositional Logic 1 The Basic Notions 3 The language of PC C) Interpretation D) Further operators F) Interpretation of A , D and s G) Validity (8) Testing for validity: (i) the truth-table method A0) Testing for validity: (