## Temporal logic, Volume 3 |

### Opinião das pessoas - Escrever uma crítica

Não foram encontradas quaisquer críticas nos locais habituais.

### Índice

Chapter I | 1 |

Chapter II | 13 |

Three Basic Axioms | 14 |

Direitos de autor | |

36 outras secções não apresentadas

### Outras edições - Ver tudo

Temporal Logic University Professor of Philosophy Nicholas Rescher,Alasdair Urquhart Pré-visualização indisponível - 1971 |

### Palavras e frases frequentes

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 countermodel course of events define diagram Diodorus Cronus DS-system equivalent example f-expressible f-structures f-valid finite follows formula function future given hence identity indefinite inference irreflexive issue machinery Master Argument materially equivalent metric modal logic obtain occur position possible premiss present principle propositional logic provable prove pseudo-date quantification theory quantifiers R-calculus R-operator raining in London realized relation Rescher respect result Rt(A Rt(p rule of inference search tree semantic specifically statement Stoic succeeding node tableau rules tableau set 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