威尔弗里德·霍奇斯 阿维森纳是如何理解巴萨公式的? (英语) Zbl 07806955号 日志。J.IGPL公司 31,第6期,1170-1191(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{W.Hodges},日志。J.IGPL 31,第6号,1170--1191(2023;Zbl 07806955) 全文: DOI程序
马钦·伊扎克 使用更改运算符使分支时间公理化。 (英语) 兹伯利07806940 日志。J.IGPL公司 31,5号,894-906(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{M.Łyczak},日志。J.IGPL 31,编号5,894--906(2023;Zbl 07806940) 全文: DOI程序
梅格达德·加里 具有过去和未来时间模式的线性时间调整逻辑。 (英语) Zbl 1523.03005号 日志。J.IGPL公司 31,编号1,1-38(2023). 审核人:雅罗斯拉夫·施拉姆科(Kryvyi Rih) MSC公司:03B44号 03B42号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Ghari},日志。J.IGPL 31,编号1,1-38(2023;Zbl 1523.03005) 全文: DOI程序
索马耶·乔波赫鲁;莫蒂扎·莫尼里 动态拓扑逻辑的无限公理化。 (英语) Zbl 1494.03048号 日志。J.IGPL公司 30,编号1,124-142(2022).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Chopoghloo}和\textit{M.Moniri},日志。J.IGPL 30,编号1,124--142(2022;Zbl 1494.03048) 全文: DOI程序
乔安·拉斯加;克里斯蒂娜·瑟纳达斯;埃里萨·卡拉菲利;卢卡·维甘诺 时间戳索赔逻辑。 (英语) 兹比尔1494.03045 日志。J.IGPL公司 29,第3号,303-332(2021).MSC公司:03B44号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{J.Rasga}等人,日志。J.IGPL 29,编号3,303--332(2021;Zbl 1494.03045) 全文: DOI程序 arXiv公司 链接
丹尼尔·奥利维拉;乔安·拉斯加 重新审视分离:算法和复杂性。 (英语) Zbl 1494.03044号 日志。J.IGPL公司 第3期第29页,第251-302页(2021).MSC公司:03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{D.Oliveira}和\textit{J.Rasga},Log。J.IGPL 29,第3号,251--302(2021;Zbl 1494.03044) 全文: DOI程序
格里戈里·奥尔霍维科夫。 离散时间的理由公告。二: 帧可定义性结果。 (英语) Zbl 1494.03040号 日志。J.IGPL公司 27,第5号,671-692(2019).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.K.Olkhovikov},日志。J.IGPL 27,第5号,671--692(2019年;Zbl 1494.03040) 全文: DOI程序 arXiv公司
格里戈里·奥尔霍维科夫。 离散时间的理由公告。一: 完整性结果。 (英语) Zbl 1492.03005号 日志。J.IGPL公司 26,第3号,259-289(2018).MSC公司:03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{G.K.Olkhovikov},日志。J.IGPL 26,第3号,259--289(2018;Zbl 1492.03005) 全文: DOI程序
赫里萨菲斯·哈托纳斯 非分配命题逻辑的模态和时间扩展。 (英语) Zbl 1405.03051号 日志。J.IGPL公司 24,第2期,156-185(2016).MSC公司:03B45号 03B44号 03B47号 PDF格式BibTeX公司 XML格式引用 \textit{C.Hartonas},日志。J.IGPL 24,第2期,156--185(2016;Zbl 1405.03051) 全文: DOI程序
布鲁诺·洛佩斯;贝内维迪斯,马里奥;爱德华·赫尔曼·海尔 Petri网的命题动态逻辑。 (英语) Zbl 1407.68335号 日志。J.IGPL公司 22,第5期,721-736(2014).MSC公司:68问题85 03B44号 03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Lopes}等人,日志。J.IGPL 22,第5号,721--736(2014;Zbl 1407.68335) 全文: DOI程序 链接
沃伊切赫·Dzik;朱尼·Järvinen;Michiro近藤 用伽罗瓦连接表征中间时态逻辑。 (英语) Zbl 1405.03069号 日志。J.IGPL公司 22,第6期,992-1018(2014).MSC公司:03B55型 03B44号 03G25号 2015年1月6日 PDF格式BibTeX公司 XML格式引用 \textit{W.Dzik}等人,日志。J.IGPL 22,第6号,992--1018(2014;Zbl 1405.03069) 全文: DOI程序 arXiv公司
卢卡·阿尔贝鲁奇;于尔格Krähenbühl;托马斯·施图德 关于模态\(\mu\)-公式的归纳法的证明。 (英语) Zbl 1405.03046号 日志。J.IGPL公司 22,第6号,805-817(2014).MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{L.Alberucci}等人,日志。J.IGPL 22,第6号,805--817(2014;Zbl 1405.03046) 全文: DOI程序 链接
阿尔多·菲加洛五世。;古斯塔沃·佩莱泰 De Morgan代数上的时态算子。 (英语) 兹比尔1347.06012 日志。J.IGPL公司 22,第2期,255-267(2014). 审核人:Lavinia Ciungu(爱荷华市) MSC公司:06时30分 03G25号 03B44号 06年50月 06B20号 PDF格式BibTeX公司 XML格式引用 \textit{A.V.Figallo}和\textit{G.Pelaitay},Log。J.IGPL 22,第2期,255--267(2014;Zbl 1347.06012) 全文: DOI程序
弗拉基米尔·里巴科夫 线性时序逻辑中的投影公式和统一{长期贷款}_{U} \)。 (英语) Zbl 1342.03017号 日志。J.IGPL公司 22,第4期,665-672(2014).MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},日志。J.IGPL 22,第4号,665--672(2014;Zbl 1342.03017) 全文: DOI程序
汉斯·范·迪特马什;范德霍克,威比;阮,季 连接动态认知逻辑和时间认知逻辑。 (英语) Zbl 1285.03008号 日志。J.IGPL公司 21,第3期,380-403(2013). 审核人:Audrey Yap(维多利亚州) MSC公司:03B42号 03B44号 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{H.van Ditmarsch}等人,Log。J.IGPL 21,编号3,380--403(2013;兹bl 1285.03008) 全文: DOI程序
亨利克斯,D。;比斯卡亚,M。;巴尔塔扎尔,P。;马特乌斯,P。 随机系统的(ω)-正则性质的可判定性和复杂性。 (英语) Zbl 1277.68218号 日志。J.IGPL公司 20,第6期,1175-1201(2012).MSC公司:87年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Henriques}等人,Log。J.IGPL 20,第6期,1175--1201(2012;Zbl 1277.68218) 全文: DOI程序
弗吉尼亚州迪格纳姆;弗兰克·迪格纳姆 代理组织的逻辑。 (英语) Zbl 1280.68262号 日志。J.IGPL公司 20,第1期,283-316(2012).MSC公司:第68页第42页 03B44号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.Dignum}和\textit{F.Dignum},日志。J.IGPL 20,第1期,283--316(2012;Zbl 1280.68262) 全文: DOI程序 arXiv公司
诺里希罗·卡米德 线性时间形式主义的阶段语义。 (英语) Zbl 1216.03034号 日志。J.IGPL公司 19,第1期,121-143(2011).MSC公司:03B44号 03B47号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},日志。J.IGPL 19,第1期,121--143(2011;Zbl 1216.03034) 全文: DOI程序
圭多州长;安东尼诺·罗托洛 不断变化的法律制度:在可废止逻辑中的法律废除和废止。 (英语) Zbl 1197.68071号 日志。J.IGPL公司 18,第1期,157-194(2010).MSC公司:68T27型 03B45号 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{G.Governatori}和\textit{A.Rotolo},Log。J.IGPL 18,第1期,157--194(2010;Zbl 1197.68071) 全文: DOI程序 链接
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 稳健的规范体系和规范合规逻辑。 (英语) Zbl 1198.68232号 日志。J.IGPL公司 18,第1期,4-30页(2010年). 审核人:埃里克·马丁(悉尼) MSC公司:68T27型 03B42号 第68页第42页 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,日志。J.IGPL 18,第1、4--30号(2010年;Zbl 1198.68232) 全文: DOI程序
托马斯·奥戈特内斯;范德霍克,威比;迈克尔·伍尔德里奇 定性联盟博弈的逻辑。 (英语) Zbl 1171.03008号 日志。J.IGPL公司 17,第3期,299-321(2009).MSC公司:03B44号 03B45号 68T27型 91A12号机组 91A20型 PDF格式BibTeX公司 XML格式引用 \textit{T.奥戈特内斯}等人,日志。J.IGPL 17,第3号,299--321(2009;Zbl 1171.03008) 全文: DOI程序 链接
加贝,多夫·M。;阿米尔·普努利 一个完善的CTL(^*\)验证演绎系统。 (英语) 兹比尔1156.68036 日志。J.IGPL公司 16,第6号,499-536(2008).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.M.Gabbay}和\textit{A.Pnueli},Log。J.IGPL 16,第6号,499--536(2008;Zbl 1156.68036) 全文: DOI程序 链接
埃里卡·卡拉多;弗拉基米尔·里巴科夫。 知识的多模态逻辑和线性时间LTK的公理化。 (英语) 兹伯利1134.03011 日志。J.IGPL公司 15,第3期,239-254(2007). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B42号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Calardo}和\textit{V.Rybakov},Log。J.IGPL 15,第3号,239--254(2007;Zbl 1134.03011) 全文: DOI程序
大卫·费尔南德斯·杜克 \(\mathbb R^2\)的动态拓扑完备性。 (英语) Zbl 1126.03021号 日志。J.IGPL公司 15,第1期,77-107(2007). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B45号 03B44号 54时20分 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández Duque},日志。J.IGPL 15,第1号,77--107(2007;Zbl 1126.03021) 全文: DOI程序
瓦伦丁·戈兰科;阿尔贝托·扎纳多 从线性到分支时间时序逻辑:语义和可定义性的转移。 (英语) 兹比尔1124.03005 日志。J.IGPL公司 15,第1期,53-76(2007). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}和\textit{A.Zanardo},日志。J.IGPL 15,第1号,53--76(2007;Zbl 1124.03005) 全文: DOI程序 链接
E.雅哈夫。;代表,T。;萨吉夫,M。;威廉·R。 验证通过演化逻辑指定的临时堆属性。 (英语) Zbl 1108.68077号 日志。J.IGPL公司 14,第5期,755-783(2006).MSC公司:60年第68季度 68号30 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{E.Yahav}等人,日志。J.IGPL 14,第5号,755--783(2006;Zbl 1108.68077) 全文: DOI程序
阿尔塔夫·侯赛因 区间的最小混合逻辑。 (英语) Zbl 1102.03013号 日志。J.IGPL公司 14,第1期,35-62(2006).MSC公司:03B44号 03B25号 2015年3月1日 2017年第68季度 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{A.Hussain},日志。J.IGPL 14,No.1,35--62(2006;Zbl 1102.03013) 全文: DOI程序 链接
埃里卡·卡拉多 线性逻辑知识和时间LTK中可接受的推理规则。 (英语) Zbl 1102.03009号 日志。J.IGPL公司 第14页,第1期,第15-34页(2006年).MSC公司:03B42号 03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{E.Calardo},日志。J.IGPL 14,第1期,第15--34页(2006;Zbl 1102.03009) 全文: DOI程序
卡洛斯·卡莱罗;卢卡·维甘诺;戴维·巴恩斯 用于安全协议分析的关联串空间和分布式时序逻辑。 (英语) 兹比尔1098.03039 日志。J.IGPL公司 13,第6期,637-663(2005).MSC公司:03B70号 03B44号 68个M12 64岁以下 PDF格式BibTeX公司 XML格式引用 \textit{C.Caleiro}等人,《日志》。J.IGPL 13,第6号,637--663(2005;Zbl 1098.03039) 全文: DOI程序 链接
约翰·斯莱尼 带有未知过去运算符的半正LTL。 (英语) Zbl 1084.03014号 日志。J.IGPL公司 13,第2期,211-229(2005). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B44号 03B70号 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{J.斯莱尼},日志。J.IGPL 13,第2期,211-229(2005;Zbl 1084.03014) 全文: DOI程序
马鲁阿·布齐德;彼得·拉德金 时间相关命题的简单推理。 (英语) Zbl 1051.68125号 日志。J.IGPL公司 10,第4期,379-399(2002).MSC公司:68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Bouzid}和\textit{P.Ladkin},Log。J.IGPL 10,第4期,379--399(2002;Zbl 1051.68125) 全文: DOI程序 链接
拉尔夫·瑙曼 自然语言中语义-形态界面的纤维状语义。 (英语) Zbl 1017.03014号 日志。J.IGPL公司 10,第2期,191-226(2002). 审核人:Osamu Sonobe(福洛尼卡) MSC公司:03B65号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Naumann},日志。J.IGPL 10,第2期,191--226(2002;Zbl 1017.03014) 全文: DOI程序
马塞洛·芬格;M.安吉拉·维斯 时间逻辑系统的无限制组合。 (英语) Zbl 1003.03015号 日志。J.IGPL公司 10,第2期,165-189(2002).MSC公司:03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.Finger}和\textit{M.A.Weiss},Log。J.IGPL 10,第2期,165--189(2002;Zbl 1003.03015) 全文: DOI程序
Dimitar P.Guelev。 区间时序逻辑中的区间相关插值。 (英语) Zbl 0992.03025号 日志。J.IGPL公司 9,第5期,677-685(2001).MSC公司:03B44号 03C40号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev},日志。J.IGPL 9,第5号,677--685(2001;Zbl 0992.03025) 全文: DOI程序 链接
坎宁安,吉姆 走向意识的公理化理论。 (英语) Zbl 0973.03511号 日志。J.IGPL公司 9,第2期,325-331(2001).MSC公司:03B70号 68T27型 03B44号 PDF格式BibTeX公司 XML格式引用 \发短信{J.Cunningham},日志。J.IGPL 9,第2号,325--331(2001;Zbl 0973.03511) 全文: DOI程序
劳拉·佐丹奴;阿尔贝托·马泰利;卡米拉·施温德 动态线性时间时序逻辑中的动作推理。 (英语) Zbl 0979.03015号 日志。J.IGPL公司 9,第2期,273-287(2001). 审核人:贾科莫·博纳诺(戴维斯) MSC公司:03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{L.Giordano}等人,日志。J.IGPL 9,第2号,273--287(2001;Zbl 0979.03015) 全文: DOI程序 链接
沃伊切赫·彭泽克 因果知识的时间方法。 (英语) Zbl 1033.03011号 日志。J.IGPL公司 8,第1号,87-99(2000).MSC公司:03B44号 03B42号 68立方英尺 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{W.Penczek},日志。J.IGPL 8,第1期,87--99(2000;Zbl 1033.03011) 全文: DOI程序
奥尔纳·利希滕斯坦;阿米尔·普努利 命题时态逻辑:可决定性和完备性。 (英语) Zbl 1033.03009号 日志。J.IGPL公司 8,第1号,55-85(2000).MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{O.Lichtenstein}和\textit{A.Pnueli},日志。J.IGPL 8,第1期,55--85(2000;Zbl 1033.03009) 全文: DOI程序
罗伯特·戈德布拉特 代数多模逻辑:综述。 (英语) Zbl 1012.03060号 日志。J.IGPL公司 8,第4号,393-450(2000).MSC公司:05年3月 03B45号 06E25年 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},日志。J.IGPL 8,第4号,393--450(2000;Zbl 1012.03060) 全文: DOI程序 链接
安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 各州的驯服(时机)。 (英语) Zbl 0964.03017号 日志。J.IGPL公司 8,第5期,681-699(2000). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B44号 03B70号 03B35型 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,日志。J.IGPL 8,第5号,681--699(2000;Zbl 0964.03017) 全文: DOI程序 链接
阿雷塞斯,卡洛斯;帕特里克·布莱克本;马尔滕·马克思 混合时序逻辑的计算复杂性。 (英语) Zbl 0959.03011号 日志。J.IGPL公司 8,第5期,653-679(2000).MSC公司:03B44号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{C.Areces}等人,日志。J.IGPL 8,第5号,653--679(2000;Zbl 0959.03011) 全文: DOI程序
卡罗尔·摩根;Annabelle K.McIver。 概率时序逻辑的期望变换器模型。 (英语) Zbl 1073.68679号 日志。J.IGPL公司 7,第6号,779-804(1999).MSC公司:60年第68季度 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{C.Morgan}和\textit{A.K.McIver},Log。J.IGPL 7,第6号,779--804(1999;Zbl 1073.68679) 全文: DOI程序 链接
罗宾·赫希 具有不可判定网络满足问题的有限关系代数。 (英语) Zbl 0933.03051号 日志。J.IGPL公司 7,第4期,547-554(1999).MSC公司:03天35分 03G15年 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch},日志。J.IGPL 7,第4期,547--554(1999;Zbl 0933.03051) 全文: DOI程序 链接
斯科特·黑泽尔赫斯特;Carl-Johan H.塞格。 模型检查格:使用和推理信息顺序进行抽象。 (英语) Zbl 0930.03031号 日志。J.IGPL公司 7,第3期,375-411(1999).MSC公司:03B70号 60年第68季度 03B35型 03B44号 03B50号 PDF格式BibTeX公司 XML格式引用 \textit{S.Hazelhurst}和\textit{C.-J.H.Seger},日志。J.IGPL 7,第3号,375--411(1999;Zbl 0930.03031) 全文: DOI程序
阿尔贝托·扎纳多;布鲁诺·巴赛伦;雷诺兹,马克 完全捆绑树类的不可定义性。 (英语) Zbl 0919.03019号 日志。J.IGPL公司 7,第1期,125-136(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{A.Zanardo}等人,日志。J.IGPL 7,第1期,125--136(1999;Zbl 0919.03019) 全文: DOI程序 链接
科林·斯特林 双模拟、模态逻辑和模型检查游戏。 (英语) Zbl 0920.03034号 日志。J.IGPL公司 7,第1期,103-124(1999).MSC公司:03B45号 2010年第68季度 91A46型 PDF格式BibTeX公司 XML格式引用 \textit{C.斯特林},日志。J.IGPL 7,第1期,103--124(1999;Zbl 0920.03034) 全文: DOI程序 链接
安吉洛·蒙塔纳里;阿德里亚诺·佩隆;阿尔贝托,Policriti 分层度量时间结构理论:表达性和可判定性。 (英语) Zbl 0920.03033号 日志。J.IGPL公司 7,第1期,79-102(1999).MSC公司:03B45号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人,日志。J.IGPL 7,第1号,79--102(1999;Zbl 0920.03033) 全文: DOI程序 链接
丹尼斯·R·达姆。 CTL和\(\text{CTL}^*\)的扁平片段:分隔表达能力和区分能力。 (英语) Zbl 0920.03031号 日志。J.IGPL公司 7,第1期,55-78(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.R.Dams},日志。J.IGPL 7,第1期,55--78(1999;Zbl 0920.03031) 全文: DOI程序
帕特里克·布莱克本;米罗斯拉发,扎科娃 混合语言和时序逻辑。 (英语) Zbl 0920.03029号 日志。J.IGPL公司 7,第1期,27-54(1999).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{P.Blackburn}和\textit{M.Tzakova},Log。J.IGPL 7,第1号,27--54(1999;Zbl 0920.03029) 全文: DOI程序 链接
约翰·范·本特姆 时间模式和模态结构。 (英语) Zbl 0933.03013号 日志。J.IGPL公司 7,第1期,7-26(1999). 审核人:P.马特拉纳(普拉哈) MSC公司:03B44号 03B45号 03-02 68T27型 03B70号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem},日志。J.IGPL 7,第1号,第7--26号(1999;Zbl 0933.03013) 全文: DOI程序 链接
时态逻辑专题。 (英语) Zbl 0916.00006 日志。J.IGPL公司 7,第1期,136页(1999年).MSC公司:00B15号机组 03-06 PDF格式BibTeX公司 XML格式引用 日志。J.IGPL 7,第1期,136~p.(1999;Zbl 0916.00006)
冯·卡格尔(von Karger),伯加德(Burghard);鲁道夫·伯哈默 时序逻辑的关系模型。 (英语) Zbl 0906.03030号 日志。J.IGPL公司 6,第2期,157-173(1998年). 审核人:J.Šefránek(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.von Karger}和\textit{R.Berghammer},日志。J.IGPL 6,编号2157-173(1998年;Zbl 0906.03030) 全文: DOI程序 链接