【数学逻辑】 Logics in Computer Science : A Study on Extensions of Temporal and

相似文件 换一批

是 否 +2 论坛币

k人 参与回答

经管之家送您一份

应届毕业生专属福利!

求职就业群

赵安豆老师微信：zhaoandou666

经管之家联合CDA

送您一个全额奖学金名额~ !

立即领取

感谢您参与论坛问题回答

经管之家送您两个论坛币！

+2 论坛币

Logics in Computer Science
A Study on Extensions of Temporal and Strategic Logics

Authors: Fabio Mogavero



Provides four extensions of classic temporal and strategic logics

Comprises new results on expressiveness and succinctness of logics in computer science

Includes new techniques for proving upper and lower computational bounds

In this monograph we introduce and examine four new temporal logic formalisms that can be used as specification languages for the automated verification of the reliability of hardware and software designs with respect to a desired behavior. The work is organized in two parts. In the first part two logics for computations, the graded computation tree logic and the computation tree logic with minimal model quantifiers are discussed. These have proved to be useful in describing correct executions of monolithic closed systems. The second part focuses on logics for strategies, strategy logic and memoryful alternating-time temporal logic, which have been successfully applied to formalize several properties of interactive plays in multi-entities systems modeled as multi-agent games.

原版 PDF + EPUB:

本帖隐藏的内容

原版 PDF:
Logics in Computer Science_A Study on Extensions of Temporal and Strategic Logics.pdf (2.19 MB, 需要: 10 个论坛币)

2017-1-17 01:42:29 上传

需要: 10 个论坛币  [购买]

PDF 压缩包：
LCS (pdf).zip (1.58 MB, 需要: 10 个论坛币) 本附件包括：

• Logics in Computer Science_A Study on Extensions of Temporal and Strategic Logics.pdf

2017-1-17 01:42:23 上传

需要: 10 个论坛币  [购买]

EPUB:
Logics in Computer Science_A Study on Extensions of Temporal and Strategic Logics.epub (4.58 MB, 需要: 10 个论坛币)

2017-1-17 01:42:27 上传

需要: 10 个论坛币  [购买]

EPUB 压缩包：
LCS (epub).zip (2.9 MB, 需要: 10 个论坛币) 本附件包括：

• Logics in Computer Science_A Study on Extensions of Temporal and Strategic Logics.epub

2017-1-17 01:42:21 上传

需要: 10 个论坛币  [购买]

PDF + EPUB 压缩包：
LCS (pdf epub).zip (4.48 MB, 需要: 20 个论坛币) 本附件包括：

• Logics in Computer Science_A Study on Extensions of Temporal and Strategic Logics.pdf
• Logics in Computer Science_A Study on Extensions of Temporal and Strategic Logics.epub

2017-1-17 01:42:18 上传

需要: 20 个论坛币  [购买]

  如果你喜欢我分享的书籍，请关注我：
https://bbs.pinggu.org/z_guanzhu.php?action=add&fuid=5975757

订阅我的文库：

【金融 + 经济 + 商学 + 国际政治】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3257

【数学 + 统计 + 计算机编程】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3258

【历史 + 心理学 + 社会自然科学】
https://bbs.pinggu.org/forum.php?mod=collection&action=view&ctid=3259

扫码加我 拉你入群

请注明：姓名-公司-职位

以便审核进群资格，未注明则拒绝

分享0 收藏9 回帖

关键词：Extensions Extension Computer temporal Science techniques strategic computer classic examine

收藏学习

谢谢楼主的分享

谢谢分享楼主厉害楼主万岁

many txs.

good book

谢谢分享

谢谢楼主

thanks