Temporal Logic: Mathematical Foundations and Computational Aspects: Volume 2

this Much-needed Book Provides A Thorough Account Of Temporal Logic, One Of The Most Important Areas Of Logic In Computer Science Today. The Book Begins With A Solid Introduction To Semantical And Axiomatic Approaches To Temporal Logic. It Goes On To Cover Predicate Temporal Logic, Meta-languages, General Theories Of Axiomatization, Many Dimensional Systems, Propositional Quantifiers, Expressive Power, Henkin Dimension, Temporalization Of Other Logics, And Decidability Results. With Its Inclusion Of Cutting-edge Results And Unifying Methodologies, This Book Is An Indispensable Reference For Both The Pure Logician And The Theoretical Computer Scientist.