product iamge

Tense logic

This document was uploaded by one of our users. The uploader already confirmed that they had the permission to publish it. If you are author/publisher or own the copyright of this documents, please report to us by using this DMCA report form.

Download
Search on Amazon

Simply click on the Download Book button.

Yes, Book downloads on Ebookily are 100% Free.

Sometimes the book is free on Amazon As well, so go ahead and hit "Search on Amazon"

x

Author(s): Robert P. McArthur
Series: Synthese Library 111
Publisher: D.Reidel
Year: 1976

Language: English
Pages: 91

Title ......Page 2
Copyright ......Page 3
Preface ......Page 4
Contents ......Page 6
1.1. Introduction ......Page 8
1.2. The Formalities of Tensed Statements ......Page 9
1.3. Interpreting Tensed Statements. I ......Page 14
1.4. Interpreting Tensed Statements. II ......Page 19
Notes ......Page 22
2.1. The Minimal System Kt ......Page 24
2.2. Linear Enlargements of Kt ......Page 31
Notes ......Page 43
3.1. Branching Tense Logics ......Page 44
3.2. Temporal Modality ......Page 49
Notes ......Page 58
4.1. The Q Systems ......Page 60
4.2. The Q* and Q** Systems ......Page 67
Notes ......Page 73
CHAPTER 5. SOUNDNESS AND COMPLETENESS THEOREMS FOR TENSE LOGIC ......Page 74
Notes ......Page 85
APPENDIX I / SC TAUTOLOGIES USED IN PROOFS ......Page 86
APPENDIX II / SUMMARY OF THE SYSTEMS ......Page 87
BIBLIOGRAPHY ......Page 90