## Temporal logic |

### What people are saying - Write a review

We haven't found any reviews in the usual places.

### Contents

Foreword on Notation and Prerequisites XVII | 1 |

Chapter XVII | 4 |

Chapter II | 13 |

Copyright | |

37 other sections not shown

### Common terms and phrases

A. N. PRIOR applied assertion assume assumption Avicenna axiom schema axiomatization backwards linearity Benson Mates branching structure calculus categorical proposition Chapter characterize completeness proof concept condition consider construction construed context course of events define diagram DIODORUS DIODORUS CRONUS equivalent example f-expressible f-structures f-valid finite follows formula function future given hence identity inference irreflexive issue machinery Master Argument materially equivalent metric modal logic Nicholas Rescher obtain occur position present principle proposition propositional logic provable prove pseudo-date quantification theory quantifiers R-calculus R-operator raining in London real numbers realized relation Rescher result Rt(p rule of inference search tree semantic specifically Stoic succeeding node tableau rules tableau tt temporal logic temporal modalities temporally definite tense logic tense operators tense-logical tense-structure theorem thesis tion topological logic transitivity true truth truth-value U-relation Ut't valid variables