We consider an extension of linear-time temporal logic (LTL) with both local and remote data constraints interpreted over a concrete domain. This extension is a natural extension of constraint LTL and the Temporal Logic of Repeating Values, which have been studied before. We shall use previous results to prove that the satisfiability problem for this logic is decidable. Further, we shall see that trying to extend this logic by making it more expressive can lead to undecidability.
翻译：我们认为线性时间逻辑(LTL)是线性时间时间逻辑(LTL)的延伸,对本地和偏远地区的数据限制都进行了具体领域的解释。这一延伸是限制LTL和重复值时间逻辑的自然延伸,以前已经研究过。我们将利用以前的结果来证明这一逻辑的可反驳性问题是可变的。此外,我们将看到,试图通过使其更清晰地表达来扩展这一逻辑可能会导致不可变。
相关内容
iOS 8 提供的应用间和应用跟系统的功能交互特性。
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
- Today (iOS and OS X): widgets for the Today view of Notification Center
- Share (iOS and OS X): post content to web services or share content with others
- Actions (iOS and OS X): app extensions to view or manipulate inside another app
- Photo Editing (iOS): edit a photo or video in Apple's Photos app with extensions from a third-party apps
- Finder Sync (OS X): remote file storage in the Finder with support for Finder content annotation
- Storage Provider (iOS): an interface between files inside an app and other apps on a user's device
- Custom Keyboard (iOS): system-wide alternative keyboards
Source: iOS 8 Extensions: Apple’s Plan for a Powerful App Ecosystem
专知会员服务
18+阅读 · 2019年10月22日
Arxiv
0+阅读 · 2022年7月20日
Arxiv
0+阅读 · 2022年7月15日
相关主题
相关VIP内容
专知会员服务
18+阅读 · 2019年10月22日
相关资讯
相关论文
Arxiv
0+阅读 · 2022年7月20日
Arxiv
0+阅读 · 2022年7月15日
微信扫码咨询专知VIP会员