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
Publisher: D. Reidel
Year: 1976

Language: English
Pages: 91

Series......Page 1
Title......Page 2
Copyright......Page 3
Preface......Page 4
Table of 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
5 – Soundness and Completeness Theorems for Tense Logic......Page 74
Notes......Page 85
Appendix I: SC Tautologies Used in Proofs......Page 86
1. Axioms......Page 87
2. Tense Logics......Page 88
3. Modal Logics......Page 89
Bibliography......Page 90