Temporal logics with “the next” operator do not have interpolation or the Beth property

首页> 外文期刊>siberian mathematical journal >Temporal logics with “the next” operator do not have interpolation or the Beth property

【24h】

机译：Temporal logics with “the next” operator do not have interpolation or the Beth property

获取原文

页面导航

著录项

抱歉，该期刊暂不可订阅，敬请期待！

目前支持订阅全部北京大学中文核心（2020）期刊目录。

暂不订阅

继续订阅其他期刊

客服邮箱：kefu@zhangqiaokeyan.com