华东交通大学学报2023，Vol.40Issue(2)：57-70,14.
时序逻辑及其表达能力综述
Review of Temporal Logic and Its Expressive Power
摘要
关键词
时序逻辑/表达能力/形式化方法/逻辑系统/形式化规约分类
信息技术与安全科学引用本文复制引用
杨科,肖美华,钟小妹,占东明..时序逻辑及其表达能力综述[J].华东交通大学学报,2023,40(2):57-70,14.基金项目
国家自然科学基金项目(61562026,61962020) （61562026,61962020）
江西省主要学科学术和技术带头人计划项目(20172BCB22015) （20172BCB22015）
江西省教育厅科学技术研究项目(GJJ190326) （GJJ190326）
江西省2020年度研究生创新专项资金项目(YC2020-B1141) （YC2020-B1141）
