米歇尔·洛雷蒂;米歇拉·夸迪尼 简单模型的空间逻辑。 (英语) Zbl 07731936号 日志。方法计算。科学。 19,第3号,第8号文件,第25页(2023).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Loreti}和\textit{M.Quadrini},日志。方法计算。科学。19,第3号,第8号论文,25页(2023;Zbl 07731936) 全文: 内政部 arXiv公司
巴托斯·贝德纳西克;斯特凡·德姆里 为什么命题量化会使树上的模态逻辑和时间逻辑变得非常困难? (英语) Zbl 07577569号 日志。方法计算。科学。 18,第3号,第5号论文,46页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{B.Bednarczyk}和\textit{S.Demri},日志。方法计算。科学。18,第3号,第5号论文,46页(2022;Zbl 07577569) 全文: arXiv公司 链接
埃蒂安·安德烈;莱姆,迪迪埃;奥利维尔·H·鲁克斯。 参数时间自动机中的可达性和活性。 (英语) Zbl 07566044号 日志。方法计算。科学。 18,第1号,第31号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{É.André}等人,日志。方法计算。科学。18,第1号,第31号论文,41页(2022;Zbl 07566044) 全文: arXiv公司 链接
卡罗琳娜·莱赫蒂宁;帕维斯;舍韦,斯文;多米尼克·沃伊特扎克 求解拟多项式时间奇偶对策的递归方法。 (英语) Zbl 07471697号 日志。方法计算。科学。 18,第1号,第8号论文,第18页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{K.Lehtinen}等人,《日志》。方法计算。科学。18,第1号,第8号论文,18页(2022;Zbl 07471697) 全文: arXiv公司 链接
安德烈亚斯·克雷布斯;卡马尔·洛达亚;帕里托什·K·潘迪亚。;霍华德·斯特劳宾 具有一些中间关系的二元逻辑:表达性、可满足性和隶属度。 (英语) 兹比尔07269244 日志。方法计算。科学。 16,第3号,第16号论文,41页(2020年).MSC公司:05年3月 03B20型 03B44号 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Krebs}等人,《日志》。方法计算。科学。16,第3号,第16号论文,41页(2020;Zbl 07269244) 全文: arXiv公司 链接
罗伯特·福伯;拉杜·马达尔;米奥,马特奥 基于Riesz空间的概率逻辑。 (英语) Zbl 1442.03010号 日志。方法计算。科学。 16,第1号,第6号论文,45页(2020年).MSC公司:03B45号 03B48号 03B70号 20层06 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Furber}等人,日志。方法计算。科学。16,第1号,第6号论文,45页(2020;Zbl 1442.03010) 全文: arXiv公司
奥尔纳·库普弗曼;加尔省瓦尔迪 流程逻辑。 (英语) Zbl 1442.03014号 日志。方法计算。科学。 15,第4号,第9号论文,24页(2019年).MSC公司:03B70号 03B44号 05C21号 60年第68季度 68兰特 PDF格式BibTeX公司 XML格式引用 \textit{O.Kupferman}和\textit{G.Vardi},日志。方法计算。科学。15,第4号,第9号论文,24页(2019年;Zbl 1442.03014) 全文: arXiv公司
何希明;约尔·瓦克宁;詹姆斯·沃雷尔 关于度量时态逻辑的表达和监控。 (英语) Zbl 1515.68181号 日志。方法计算。科学。 15,第2号,第13号论文,52页(2019年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{H.-M.Ho}等人,日志。方法计算。科学。15,第2号,第13号论文,52页(2019年;Zbl 1515.68181) 全文: arXiv公司
内兹,L。;博托鲁西。;西安西亚,V。;M.洛雷蒂。;马森克,M。 利用SSTL对时空特性进行定性和定量监测。 (英语) 兹比尔1448.68313 日志。方法计算。科学。 14,第4号,第2号论文,38页(2018年).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Nenzi}等人,日志。方法计算。科学。14,第4号,第2号论文,38页(2018;Zbl 1448.68313) 全文: 内政部 arXiv公司