时序逻辑与程序设计（英文版）

时序逻辑与程序设计（英文版） 目录

Chapter 1 Introduction
1.1 Temporal Logic
1.2 Temporal Logic Programming
1.3 Description of Book
Chapter 2 Propositional Temporal Logic
2.1 Syntax
2.2 Semantics
2.3 Satisfaction and Validity
2.4 Abbreviations
2.5 Precedence Rules
2.6 Equivalence Relations
2.7 Logic Laws
Chapter 3 First Order Temporal Logic
3.1 Syntax
3.2 Semantics
3.3 Satisfaction and Validity
3.4 Logic Laws
Chapter 4 Programming&

· 混合系统（英文版）

· 时序逻辑与程序设计（英文版）