Tense and Tense Logic

Frontmatter -- ACKNOWLEDGMENTS -- TABLE OF CONTENTS -- GLOSSARY OF SYMBOLS AND ABBREVIATIONS -- 1. INTRODUCTION -- 2. TENSE -- 3. TENSE LOGIC AND TIME STRUCTURES -- 4. THE TENSES OF LOGIC AND THE LOGIC OF TENSES -- 5. BEYOND TENSE LOGIC -- APPENDIX: A MORE RIGOROUS SYNTAX AND SEMANTICS FOR LEP -- BIBLIOGRAPHY -- INDEX