Nguyen,黄岩;阿卜杜尔·拉基布 概率资源受限代理的形式化建模和验证。 (英语) Zbl 07800199号 J.逻辑语言信息。 32,第5号,829-859(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{H.N.Nguyen}和\textit{A.Rakib},《逻辑语言汇编》第32卷,第5829-859期(2023年;Zbl 07800199) 全文: 内政部 OA许可证
Guerra,Paulo T。;雷娜塔·瓦瑟曼 修改时序逻辑中的系统规范。 (英语) Zbl 1515.68180号 J.逻辑语言信息。 31,4号,591-618(2022).MSC公司:60年第68季度 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.T.Guerra}和\textit{R.Wassermann},J.Logic Lang.Inf.31,No.4,591--618(2022;Zbl 1515.68180) 全文: 内政部
西罗·德弗洛里奥;阿尔多·弗里吉里奥 细细的红线、莫里斯主义和时间的流动。 (英语) Zbl 1477.03045号 J.逻辑语言信息。 29,第3号,307-329(2020).MSC公司:03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{C.De Florio}和\textit{A.Frigerio},J.Logic Lang.Inf.29,No.3,307--329(2020;Zbl 1477.03045) 全文: 内政部 链接
阿曼迪普·辛格·巴蒂亚;阿杰·库马尔 线性时序逻辑和量子有限自动机的关系。 (英语) Zbl 1477.68147号 J.逻辑语言信息。 29,第2期,109-120(2020年).MSC公司:65年第68季度 03B44号 2012年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.S.Bhatia}和\textit{A.Kumar},J.Logic Lang.Inf.29,No.2,109-120(2020;Zbl 1477.68147) 全文: 内政部
安特耶·伦贝格 分支时间的转换语义。 (英语) Zbl 1396.03027号 J.逻辑语言信息。 25,第1期,77-108(2016).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Rumberg},J.Logic Lang.Inf.25,No.1,77--108(2016;Zbl 1396.03027) 全文: 内政部
伊戈尔·亚诺维奇 “现在”和“然后”操作符的表达能力。 (英语) Zbl 1369.03110号 J.逻辑语言信息。 24,第1期,65-93(2015).MSC公司:03B65号 03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{I.Yanovich},J.Logic Lang.Inf.24,No.1,65-93(2015;Zbl 1369.03110) 全文: 内政部
艾萨克·阿利斯泰尔;丰弘Hoshi 同步历时不确定性。 (英语) 兹比尔1233.03009 J.逻辑语言信息。 20,第2期,137-159(2011).MSC公司:03A05号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Isaac}和\textit{T.Hoshi},J.Logic Lang.Inf.20,No.2,137--159(2011;Zbl 1233.03009) 全文: 内政部 链接
萨瓦斯·科努尔 基于事件的一阶逻辑片段。 (英语) 兹比尔1231.03009 J.逻辑语言信息。 20,第1号,49-68(2011).MSC公司:03B20型 03B25号 03B35型 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Konur},J.Logic Lang.Inf.20,No.1,49--68(2011;Zbl 1231.03009) 全文: 内政部
约翰·范·本特姆;埃里克·帕奎特 特刊前言:代理的时间逻辑。 (英语) Zbl 1264.03053号 J.逻辑语言信息。 19,第4期,389-393(2010).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}和\textit{E.Pacuit},J.Logic Lang.Inf.19,No.4,389--393(2010;Zbl 1264.03053) 全文: 内政部
徐明 战略与行动的结合。 (英语) Zbl 1216.03039号 J.逻辑语言信息。 19,第4期,485-503(2010).MSC公司:03B45号 03A05号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu},《逻辑语言汇编》第19卷,第4期,第485-503页(2010年;Zbl 1216.03039) 全文: 内政部
莫哈利克,斯瓦鲁普;拉马努贾姆,R。 具有同步通信的认知时序逻辑自动机。 (英语) Zbl 1234.03008号 J.逻辑语言信息。 19,第4期,451-484(2010).MSC公司:03B42号 03B44号 05年3月 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{S.Mohalik}和\textit{R.Ramanujam},J.Logic Lang.Inf.19,No.4,451--484(2010;Zbl 1234.03008) 全文: 内政部
丰弘Hoshi 合并DEL和ETL。 (英语) Zbl 1216.03031号 J.逻辑语言信息。 19,第4期,413-430(2010).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.Hoshi},J.Logic Lang.Inf.19,No.4,413--430(2010;Zbl 1216.03031) 全文: 内政部
沃尔克·韦伯 分支时间逻辑反复引用状态。 (英语) Zbl 1193.03034号 J.逻辑语言信息。 18,第4期,593-624(2009).MSC公司:03B44号 03B62号 2017年第68季度 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{V.Weber},J.Logic Lang.Inf.18,第4期,593--624(2009;Zbl 1193.03034) 全文: 内政部
托马斯·奥戈特内斯;德克·沃尔特 有限记忆下的战略能力逻辑。 (英语) Zbl 1163.68037号 J.逻辑语言信息。 18,第1期,55-77(2009).MSC公司:第68页第27页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特斯}和\textit{D.Walther},J.Logic Lang.Inf.18,No.1,55--77(2009;Zbl 1163.68037) 全文: 内政部
米查·瓦利基;马克·贝泽姆;沃伊特克省Szajnkenig 发展有限推理。 (英语) Zbl 1163.68038号 J.逻辑语言信息。 18,第1期,97-129(2009).MSC公司:第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{M.Walicki}等人,《逻辑语言期刊》第18期,第1期,第97-129页(2009年;兹bl 1163.68038) 全文: 内政部
约书亚·萨克 认知程序的时间语言。 (英语) Zbl 1184.03010号 J.逻辑语言信息。 17,第2期,183-216(2008). 审核人:安德烈亚斯·赫齐格(图卢兹) MSC公司:03B42号 03B44号 91A18号 PDF格式BibTeX公司 XML格式引用 \textit{J.Sack},《逻辑语言汇编》第17卷,第2期,第183-216页(2008年;Zbl 1184.03010) 全文: 内政部
Schmidt,Renate A。;蒂什科夫斯基,德米特里 命题动态逻辑与多角形模态逻辑的结合。 (英语) Zbl 1184.03012号 J.逻辑语言信息。 17,第1号,109-129(2008). 审核人:安德烈亚斯·赫齐格(图卢兹) MSC公司:03B45号 03B42号 03B44号 03B62号 PDF格式BibTeX公司 XML格式引用 \textit{R.A.Schmidt}和\textit{D.Tishkovsky},J.Logic Lang.Inf.17,No.1,109--129(2008;Zbl 1184.03012) 全文: 内政部
玛尔塔·恰尔迪亚·梅耶;卡拉·利蒙盖利;安德烈亚·奥兰迪尼;瓦伦蒂娜·波吉奥尼 线性时态逻辑作为规划语言的可执行语义。 (英语) Zbl 1159.68562号 J.逻辑语言信息。 16,第1期,63-89(2007).MSC公司:68T20型 03B44号 第68页第27页 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Cialdea Mayer}等人,J.Logic Lang.Inf.16,No.1,63-89(2007;Zbl 1159.68562) 全文: 内政部
乔里·恩格弗里特;简·特雷尔 时序逻辑的线性、分支时间和联合闭包语义。 (英语) Zbl 1018.03017号 J.逻辑语言信息。 11,第4期,389-425(2002). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur},《逻辑语言汇编》第11期,第4期,389-425页(2002年;Zbl 1018.03017) 全文: 内政部
乔里·恩格弗里特;Jonker,天主教M。;简·特雷尔 时序多项目逻辑中多智能体系统的组合验证。 (英语) Zbl 1002.68094号 J.逻辑语言信息。 11,第2期,195-225(2002).MSC公司:60年第68季度 第68页第27页 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}等人,J.Logic Lang.Inf.11,No.2,195--225(2002;Zbl 1002.68094) 全文: 内政部
加贝,D.M。;G.马洛德。 用模态和时序逻辑命名世界。 (英语) Zbl 0993.03012号 J.逻辑语言信息。 11,第1号,29-65(2002). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{G.Malod},J.Logic Lang.Inf.11,No.1,29--65(2002;Zbl 0993.03012) 全文: 内政部
马克·布朗;瓦伦丁·戈兰科 一种扩展的分支时间Ockhamist时序逻辑。 (英语) Zbl 0920.03030号 J.逻辑语言信息。 8,第2期,143-166(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Brown}和\textit{V.Goranko},J.Logic Lang.Inf.8,No.2,143--166(1999;Zbl 0920.03030) 全文: 内政部
乔里·恩格弗里特;简·特雷尔 最小时间认知逻辑中缺省逻辑的解释。 (英语) Zbl 0921.03037号 J.逻辑语言信息。 7,第3号,369-388(1998).MSC公司:03B60号 第68页第27页 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur},J.Logic Lang.Inf.7,No.3,369--388(1998;Zbl 0921.03037) 全文: 内政部
范德霍克,威比;约翰·朱尔斯·迈耶;简·特雷尔 时间化认知缺省逻辑。 (英语) Zbl 0921.03036号 J.逻辑语言信息。 7,第3号,341-367(1998).MSC公司:03B60号 第68页第27页 PDF格式BibTeX公司 XML格式引用 \textit{W.van der Hoek}等人,J.Logic Lang.Inf.7,No.3,341--367(1998;Zbl 0921.03036) 全文: 内政部
阿尔贝托·扎纳多 分支时间逻辑中不可分割和不可区分的历史。 (英语) Zbl 0921.03024号 J.逻辑语言信息。 7,第3号,297-315(1998).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zanardo},J.Logic Lang.Inf.7,No.3,297--315(1998;Zbl 0921.03024) 全文: 内政部
娜塔莎·库托尼娜 范畴推理和模态逻辑。 (英语) Zbl 0915.03021号 J.逻辑语言信息。 7,第4号,399-411(1998).MSC公司:03B45号 05年3月 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurtonina},J.Logic Lang.Inf.7,No.4,399--411(1998;Zbl 0915.03021) 全文: 内政部
娜塔莎·库托尼娜;马尔滕·德·里杰克 时序逻辑的互模拟。 (英语) Zbl 0882.03017号 J.逻辑语言信息。 6,第4期,403-425(1997).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{N.Kurtonina}和\textit{M.de Rijke},J.Logic Lang.Inf.6,No.4,403--425(1997;Zbl 0882.03017) 全文: 内政部
瓦伦丁·戈兰科 带有引用指针的模态和时序逻辑的层次结构。 (英语) Zbl 0851.03003号 J.逻辑语言信息。 5,第1期,1-24页(1996年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko},J.Logic Lang.Inf.5,No.1,1--24(1996;Zbl 0851.03003) 全文: 内政部
阿尔瓦罗·德尔瓦尔;约夫·肖姆 从行动理论推导信念更新的性质。 (英语) Zbl 0801.03025号 J.逻辑语言信息。 3,第2期,81-119(1994).MSC公司:03B80号 03B60号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{A.del Val}和\textit{Y.Shoham},J.Logic Lang.Inf.3,No.2,81--119(1994;Zbl 0801.03025) 全文: 内政部
马塞洛·芬格;Dov M.加巴伊。 向逻辑系统添加时间维度。 (英语) Zbl 0798.03031号 J.逻辑语言信息。 1,第3期,203-233(1992). 审核人:M.Duí(普拉哈) MSC公司:03B70号 03B45号 第68页,共15页 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{D.M.Gabbay},J.Logic Lang.Inf.1,No.3,203--233(1992;Zbl 0798.03031) 全文: 内政部