Temporal Logic Mathematical Foundations and Computational Aspects
Temporal Logic Mathematical Foundations and Computational Aspects
复制标题
DOI：
--
复制
发表时间：
1994
影响因子：
4
通讯作者：
D. Gabbay;I. Hodkinson;Mark Reynolds
中科院分区：
文献类型：
--
作者：
D. Gabbay;I. Hodkinson;Mark Reynolds
1.时间的处理：介绍和调查2。时间连接词的语义呈现3。命题时间连接词的公理化表示4。谓词时态逻辑5.谓词演算中的时态逻辑：语言元语言6。命题时态逻辑公理化的一般理论7。基本多维系统8.命题量词和不动点算子9.一维时间连接词的表达能力：基本概念10。Since和Until在整数和真实的时间上的表达完备性11.在一般线性时间上Stavi连接词的表达完整性12.进一步表达完整性结果13. H维14。将时间维度添加到逻辑系统15。时态逻辑中的可判定性
1. The handling of time: introduction and survey 2. Semantical presentation of temporal connectives 3. Axiomatic presentation of propositional temporal connectives 4. Predicate temporal logics 5. Temporal logics presented in the predicate calculus: language-metalanguage 6. A general theory of axiomatization for propositional temporal logic 7. Basic many-dimensional systems 8. Propositional quantifiers and fixed point operators 9. Expressive power of one-dimensional temporal connectives: basic concepts 10. Expressive completeness of Since and Until over integer and real time 11. Expressive completeness of Stavi connectives over general linear time 12. Further expressive completeness results 13. H-dimension 14. Adding a temporal dimension to a logic system 15. Decidability in temporal logic Bibliography Notation Index Index of Systems Index