斯特凡诺·巴拉泰拉;安德烈亚·马西尼 二维度量时序逻辑。 (英语) 兹比尔1521.03029 数学。日志。问。 66,第1期,7-19(2020年).MSC公司:03B44号 05年3月 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini},数学。日志。问66,第1号,第7--19号(2020;Zbl 1521.03029) 全文: 内政部 arXiv公司
阿尔弗雷多·布里耶扎;Inmaculada福特斯;佩雷斯·德古兹曼(Pérez de Guzmán),英马特拉达 满射函数函数系统的完备性。 (英语) Zbl 1469.03046号 数学。日志。问。 63,第6号,574-597(2017).MSC公司:03B44号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{A.Burrieza}等人,《数学》。日志。Q.63、No.6、574--597(2017;Zbl 1469.03046) 全文: 内政部
诺里希罗·卡米德 时态Gödel-Gentzen和Girard翻译。 (英语) Zbl 1273.03061号 数学。日志。问。 59,编号1-2,66-83(2013). 审核人:马丁·兰格(卡塞尔) MSC公司:03B44号 03B20型 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},数学。日志。问题59,第1-2,66-83号(2013年;兹bl 1273.03061) 全文: 内政部
阿尔弗雷多·布里耶扎;de Guzmán,Inmaculada P。;埃米利奥·穆尼奥斯·韦拉斯科 分析时间模态逻辑公理函数系统的完备性。 (英语) Zbl 1185.03020号 数学。日志。问。 56,第1期,89-102(2010). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 03B45 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{A.Burrieza}等人,《数学》。日志。问56,第1号,89-102(2010;Zbl 1185.03020) 全文: 内政部
斯特凡诺·巴拉泰拉;安德里亚·马西尼 关于稠密时域上无界度量时态逻辑的注记。 (英语) Zbl 1112.03015号 数学。日志。问。 52,第5期,450-456页(2006年). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B45 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini},数学。日志。企52、5号、450-456(2006;Zbl 1112.03015) 全文: 内政部
马丁·兰格 LTL与过去的快速公理化。 (英语) Zbl 1058.03023号 数学。日志。问。 51,第1期,第83-88页(2005年).MSC公司:03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Lange},数学。日志。问51,第1号,83--88(2005;Zbl 1058.03023) 全文: 内政部
斯特凡诺·巴拉泰拉;安德烈亚·马西尼 稠密时间域上度量时态逻辑的无限变量。 (英语) Zbl 1049.03015号 数学。日志。问。 50,第3期,249-257(2004). 审核人:布拉尼斯拉夫·博里奇奇(贝尔格莱德) MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini},数学。日志。企50、3号、249--257(2004;Zbl 1049.03015) 全文: 内政部
佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 一阶分支时序逻辑片断的研究。 (英语) Zbl 1002.03016号 数学。日志。问。 48,第1期,第51-62页(2002年). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}等人,《数学》。日志。问题48,第1号,51-62(2002年;Zbl 1002.03016) 全文: 内政部
贾科莫·博纳诺 分支时间逻辑中的预测。 (英语) Zbl 0997.03017号 数学。日志。问。 47,第2期,239-247(2001). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B45 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{G.Bonanno},数学。日志。企47、2号、239--247(2001;Zbl 0997.03017) 全文: 内政部
佛朗哥·蒙塔格纳;G.Michele Pinna;Elisa B.P.Tiezzi。 稠密时域上有界度量时序逻辑的无割证明系统。 (英语) Zbl 0951.03017号 数学。日志。问。 46,第2期,171-182(2000).MSC公司:03B44号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{F.Montagna}等人,《数学》。日志。企46、2号、171--182(2000;Zbl 0951.03017) 全文: 内政部
弗朗西斯科·奥尔梅多(Francisco M.García Olmedo)。;罗德里格斯·萨拉斯,安东尼奥·J。 自由时间代数的结构定理。 (英语) Zbl 0820.03040号 数学。日志。问。 41,第2期,249-256(1995).MSC公司:03G25号 03B45 PDF格式BibTeX公司 XML格式引用 \textit{F.M.García Olmedo}和\textit{a.J.Rodríguez Salas},数学。日志。问41,第2号,249--256(1995;Zbl 0820.03040) 全文: 内政部
弗朗西斯科·奥尔梅多(Francisco M.García Olmedo)。;罗德里格斯·萨拉斯,安东尼奥·J。 时间代数、前时间代数和模态代数:时间和必然性之间的关系。 (英语) Zbl 0812.03013号 数学。日志。问。 41,第1期,24-38页(1995年).MSC公司:03B45 03G25号 PDF格式BibTeX公司 XML格式引用 \textit{F.M.García Olmedo}和\textit{a.J.Rodríguez Salas},数学。日志。问41,第1号,24-38(1995;Zbl 0812.03013) 全文: 内政部