埃斯帕尔扎J鲁比奥·RSickert S公司(2024)线性时序逻辑的高效规范化美国医学会杂志10.1145/365115271:2(1-42)在线发布日期：2024年4月10日
https://dl.acm.org/doi/10.1145/3651152
乌卢斯D费雷尔T细辛E尼克维奇D马勒O(2024)时间模式匹配的要素嵌入式计算系统ACM事务10.1145/364511423:4(1-45)在线发布日期：2024年2月10日
https://dl.acm.org/doi/10.1145/3645114
奥斯瓦尔德J罗泽克B弗格森T(2024)为人工智能建模$$\mathscr{C}^{0}$$系列逻辑：目标推理的时序逻辑KI-Künstliche Intelligenz公司2007年10月17日/13218-024-00848-7在线发布日期：2024年5月24日
https://doi.org/10.1007/s13218-024-00848-7
显示更多引用者

公平的时间分析
1. 计算理论

建议

论公平的时间分析
阅读更多信息
构造线性时间逻辑：证明系统与克里普克语义学

本文研究了一种带有“下一个”时态算子的构造线性时间时序逻辑（LTL）。这个逻辑最初是由戴维斯提出的，他证明了逻辑的证明系统对应于绑定时间的类型系统。。。
阅读更多信息
一种准一致线性时间逻辑

不一致容忍推理和次一致逻辑不仅在知识表示、人工智能和计算机科学的其他领域，而且在哲学逻辑中都越来越重要。本文提出了一种新的逻辑——准一致线性时间逻辑。。。
阅读更多信息

信息和贡献者

问询处

发布于

POPL’80：第七届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录

1980年1月

261页

国际标准图书编号：0897910117

内政部：10.1145/567446

会议主席：
保罗·亚伯拉罕斯
纽约科朗研究所
,
利普顿
加州大学伯克利分校
,
项目主席：
潘仕勋
贝尔实验室，新泽西州默里山

允许制作本作品的全部或部分数字或硬拷贝供个人或课堂使用，但不收取任何费用，前提是复制品的制作或分发不是为了盈利或商业利益，并且复制品在首页注明本通知和完整引文。必须尊重ACM以外的其他人对本作品组成部分的版权。允许用信用证进行摘要。要以其他方式复制或重新发布，在服务器上发布或重新发布到列表，需要事先获得特定许可和/或付费。从请求权限[电子邮件保护]

赞助商

出版商

计算机协会

美国纽约州纽约市

出版历史

出版：1980年1月28日

权限

请求对此文章的权限。

请求权限

检查更新

限定符

第条

接受率

4130份提交文件的总体接受率为824份，20%

即将召开的会议

流行乐'25

赞助商：
信号平面图

第52届ACM SIGPLAN编程语言原理年会

2025年1月19日至25日

丹佛，有限公司，美国

贡献者

其他指标

查看文章指标

文献计量学和引文

文献计量学

文章指标

462
引文总数
查看引文
1,897
总下载次数

下载次数（过去12个月）290
下载次数（最近6周）33

其他指标

查看作者指标

引文

引用人

查看全部

埃斯帕尔扎J鲁比奥·RSickert S公司(2024)线性时序逻辑的高效规范化美国医学会杂志10.1145/365115271:2(1-42)在线发布日期：2024年4月10日
https://dl.acm.org/doi/10.1145/3651152
乌卢斯D费雷尔T细辛E尼科维奇D马勒O(2024)时间模式匹配的要素嵌入式计算系统ACM事务10.1145/364511423:4(1-45)在线发布日期：2024年2月10日
https://dl.acm.org/doi/10.1145/3645114
奥斯瓦尔德J罗泽克B弗格森T(2024)为人工智能建模$$\mathscr{C}^{0}$$系列逻辑：目标推理的时序逻辑KI-Künstliche Intelligenz公司2007年10月17日/13218-024-00848-7在线发布日期：2024年5月24日
https://doi.org/10.1007/s13218-024-00848-7
西马蒂A盖蒂LGigante N公司蒙塔纳利A托内塔S(2024)扩展有界响应LTL+P综合的公平性、假设和保证软件和系统建模（SoSyM）10.1007/s10270-023-01122-423:2(427-453)在线发布日期：2024年4月1日
https://dl.acm.org/doi/10.1007/s10270-023-01122-4
科廷宁J桑德斯特罗姆病毒J(2024)关于异步TeamLTL和HyperLTL的可表达性的一点注记信息和知识系统基础10.1007/978-3-031-56940-1_15(275-286)在线发布日期：2024年4月8日
https://dl.acm.org/doi/10.1007/978-3-031-56940-115
Pitsikalis M公司利西萨A托茨克P(2023)与菲内斯特一起处理过去和未来+理论计算机科学中的电子论文集10.4204/EPTCS.390.3390(33-49)在线发布日期：2023年9月30日
https://doi.org/10.4204/EPTCS.390.3
格纳滕科A扎哈罗夫五世(2023)线性时序逻辑单参数扩展的可满足性与模型检验自动控制与计算机科学10.3103/014641162207005756:7(649-660)在线发布日期：2023年2月19日
https://doi.org/10.3103/S0146411622070057
芬克贝纳B(2023)超属性的逻辑与算法ACM SIGLOG新闻10.1145/3610392.361039410:2(4-23)在线发布日期：2023年7月19日
https://dl.acm.org/doi/10.1145/3610392.3610394
科内霍C瑞吉斯G阿吉雷N星期五M(2023)Electrum和DynAloy动态行为符号的研究IEEE软件工程汇刊10.1109/TSE.2023.332062549:11(4946-4963)在线发布日期：2023年11月
https://doi.org/10.109/TSE.2023.3320625
齐亚一世巴西特·乌尔·拉希姆刘特（Liu T）He Z公司(2023)工业机器人手臂的形式化建模与验证——一个案例研究2023 IEEE第23届国际软件质量、可靠性和安全会议（QRS-C）10.1109/QRS-C60940.2023.00106(499-508)在线发布日期：2023年10月22日
https://doi.org/10.1109/QRS-C60940.2023.00106
显示更多引用者

引用人

建议

论公平的时间分析

构造线性时间逻辑：证明系统与克里普克语义学

一种准一致线性时间逻辑

评论

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

接受率

即将召开的会议

其他指标

文章指标

其他指标

引用人

PDF格式

电子阅读器

登录选项

完全访问权限

摘要

工具书类

引用人

建议

论公平的时间分析

构造线性时间逻辑：证明系统与克里普克语义学

一种准一致线性时间逻辑

评论

问询处

发布于

赞助商

出版商

出版历史

权限

检查更新

限定符

接受率

即将召开的会议

贡献者

其他指标

文献计量学

文章指标

其他指标

引文

引用人

视图选项

PDF格式

电子阅读器

获取访问权限

登录选项

完全访问权限

数字

其他

分享

共享此出版物链接

在社交媒体上分享

附属公司