Temporal logic |
Opinião das pessoas - Escrever uma crítica
Não foram encontradas quaisquer críticas nos locais habituais.
Índice
Foreword on Notation and Prerequisites XVII | 1 |
Chapter XVII | 4 |
Chapter II | 13 |
Direitos de autor | |
37 outras secções não apresentadas
Outras edições - Ver tudo
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 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