Contents

1 Introduction 2

2 A Derivation of the D Rule 2

3 Completeness of CMDL 4

4 Yet Another Way to Display Classical Tense Logic 6

Bibliography 7