具有时间间隔的一阶时序逻辑的完备性

马提亚斯·巴兹,亚历山大·莱奇&理查德·扎克

理论计算机科学160 (1-2):241-270 (1996) 复制 B类IB公司T型_电子X（X）

摘要

比较了与ω（离散线性时间）同构的时间结构为□和○的一阶时序逻辑和ω-段树（具有分支间隙的线性时间）及其部分片段：第一个时序逻辑不可递归公理化。对于第二种情况，给出了一个无割完全序列演算，并由此用Maslov方法导出了一个分解系统。

引用

纯文本

BibTeX公司

格式化文本

样板客户经理

参考Works

选项

标记为重复

在书生身上找到

请求从索引中删除

修订历史记录

查看PhilPapers

作者配置文件

马提亚斯·巴兹

维也纳工业大学

理查德·扎克

卡尔加里大学

档案历史

存档日期：2017-08-13
查看所有版本

类别

时间逻辑在里面逻辑与逻辑哲学

关键词

添加关键字

重印年份

分析

添加到PP
2017-08-13

下载
474(#44,957)

6个月
114(#54,712)

首次上传后的下载历史图

此图包括PhilArchive的下载和PhilPapers上的外部链接的单击。

如何增加下载量？