搜索结果: 1-1 共查到“哲学 branching continuations”相关记录1条 . 查询时间(0.046 秒)
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...