诺里希罗·卡米德 支持拒绝的Gentzen-style计算,用于命题非自由线性时间时序逻辑。 (英语) Zbl 07767288号 螺柱日志。 111,第6期,979-1014(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。111,编号6,979--1014(2023;Zbl 07767288) 全文: 内政部
汉斯·范·迪特马什;法语,蒂姆;詹姆斯·黑尔斯 积极的公告。 (英语) 兹伯利07383333 螺柱日志。 109,编号3,639-681(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,研究日志。109,编号3,639--681(2021;Zbl 07383333) 全文: 内政部 arXiv公司
埃米利亚诺·洛里尼;乔瓦尼·萨托 推理社会影响的STIT逻辑。 (英语) Zbl 1417.03225号 螺柱日志。 104,第4期,773-812(2016).MSC公司:03B80号 03B42号 03B70号 68T27型 91D10号 91D20型 PDF格式BibTeX公司 XML格式引用 \textit{E.Lorini}和\textit{G.Sartor},Stud.Log。104,第4号,773--812(2016;Zbl 1417.03225) 全文: 内政部
沃纳·什尼亚克(Bożena);安杰伊·兹布热兹尼 通过有界模型检查检查定时解释系统的EMTLK属性。 (英语) Zbl 1417.68106号 螺柱日志。 104,第4期,641-678(2016).MSC公司:60年第68季度 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{B.Woźna-Szcze shi niak}和\textit{A.Zbrzezny},研究日志。104、4号、641--678(2016;Zbl 1417.68106) 全文: 内政部
罗伯托·齐尼;阿尔贝托·扎纳多 分支时间逻辑与可能选择的完整性。 (英语) Zbl 1216.03032号 螺柱日志。 96,第3号,393-420(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Ciuni}和\textit{A.Zanardo},Stud.Log。96,第3号,393--420(2010;Zbl 1216.03032) 全文: 内政部
阿尔贝托·扎纳多 分支时间语义中可能世界集合的量化。 (英语) Zbl 1103.03019号 螺柱日志。 82,第3期,379-400(2006).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zanardo},学生日志。82,第3号,379--400(2006;Zbl 1103.03019) 全文: 内政部
塔德乌什·利塔克;弗兰克·沃尔特 线性时间流的所有有限公理化时态逻辑都是余NP-完备的。 (英语) Zbl 1096.03014号 螺柱日志。 81,第2期,153-165(2005).MSC公司:03B44号 2015年3月1日 2017年第68季度 03B45 PDF格式BibTeX公司 XML格式引用 \textit{T.Litak}和\textit{F.Wolter},Stud.Log。81,第2号,153--165(2005;Zbl 1096.03014) 全文: 内政部
米查·格拉博夫斯基 算术完备性与相对完备性。 (英语) Zbl 0667.03018号 螺柱日志。 47,第3期,213-220(1989). 审核人:H.西村 MSC公司:03B70号 68问题65 2015年上半年03日 PDF格式BibTeX公司 XML格式引用 \textit{M.Grabowski},螺柱日志。47,第3号,213--220(1989;Zbl 0667.03018) 全文: 内政部