区间时态逻辑

来自术语
跳转至: 导航搜索

    又称区间逻辑,可以表示一段时间内某些性质成立的时态逻辑。

英文名 interval temporal logic



链接

Wikipedia https://en.wikipedia.org/wiki/interval_temporal_logic