搜索结果: 1-1 共查到“科学技术哲学 branching continuations”相关记录1条 . 查询时间(0.125 秒)
Wally axiomatics of Branching Continuations
branching continuations axioms temporal logic
font style='font-size:12px;'>
2016/5/31
We give a brief introduction to the axiomatization of temporal logics. Branching continuations are shortly presented thereafter and the possibility of their clear syntactical axiomatization in a Hilbe...