登入選單
返回Google圖書搜尋
其他書名
Mathematical Foundations and Computational Aspects
出版Clarendon Press, 1994
主題Computers / Artificial Intelligence / GeneralComputers / Logic DesignMathematics / Discrete MathematicsMathematics / Logic
ISBN01985376979780198537694
URLhttp://books.google.com.hk/books?id=oVEZAQAAIAAJ&hl=&source=gbs_api
註釋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.