page 2  (8 pages)
to previous section1
3to next section

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