Wałga,Przemys aw Andrzej 混合区间时序逻辑的计算复杂性。 (英语) Zbl 1512.03029号 Ann.纯粹应用。逻辑 174,第1号,文章ID 103165,33页(2023). 审核人:贾科莫·伦齐(费西亚诺) MSC公司:03B44号 03B70号 03B45号 68T27型 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{P.A.Waęga},Ann.纯应用。逻辑174,第1号,文章ID 103165,33页(2023;Zbl 1512.03029) 全文: 内政部
朱利安·古铁雷斯;保罗·哈伦斯坦;迈克尔·伍尔德里奇 关于类游戏并发系统中平衡的推理。 (英语) Zbl 1400.03057号 Ann.纯粹应用。逻辑 168,编号2,373-403(2017). 审核人:马丁·兰格(卡塞尔) MSC公司:03B70号 03B44号 91A40型 68T27型 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Gutierrez}等人,Ann.Pure Appl。逻辑168,No.2,373--403(2017;Zbl 1400.03057) 全文: 内政部
约翰·范·本特姆;Fernández Duque,大卫;埃里克·帕奎特 邻里结构中的证据和合理性。 (英语) Zbl 1345.03045号 Ann.纯粹应用。逻辑 165,第1期,106-133(2014).MSC公司:03B45号 03B44号 03B62号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{J.van Benthem}等人,Ann.Pure Appl。逻辑165,No.1,106--133(2014;Zbl 1345.03045) 全文: 内政部 arXiv公司
Fernández Duque,大卫 拓扑动力学的纠缠模态逻辑。 (英语) Zbl 1248.03033号 Ann.纯粹应用。逻辑 163,第467-481号(2012年).MSC公司:03B45号 03B44号 03B62号 03C35号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández-Duque},Ann.纯苹果。逻辑163,No.4,467--481(2012;Zbl 1248.03033) 全文: 内政部
诺里希罗·卡米德 有界线性时间逻辑:一项实证研究。 (英语) Zbl 1241.03015号 Ann.纯粹应用。逻辑 163,第4期,439-466(2012).MSC公司:03B44号 03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},Ann.纯苹果。逻辑163,No.4,439--466(2012;Zbl 1241.03015) 全文: 内政部
谢尔盖·巴本尼舍夫;弗拉基米尔·里巴科夫 线性时序逻辑LTL中的统一。 (英语) Zbl 1241.03014号 Ann.纯粹应用。逻辑 162,第12期,991-1000(2011).MSC公司:03B44号 03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{S.Babenyshev}和\textit{V.Rybakov},Ann.Pure Appl。逻辑162,No.12,991--1000(2011;Zbl 1241.03014) 全文: 内政部
约书亚·萨克 更新产品和进入过去的步骤的逻辑。 (英语) Zbl 1225.03018号 Ann.纯粹应用。逻辑 161,第12期,1431-1461(2010).MSC公司:03B42型 03B44号 03B45号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Sack},Ann.《纯粹的应用》。逻辑161,No.12,1431---1461(2010;Zbl 1225.03018) 全文: 内政部
雷诺兹,M。 实域上时序逻辑的复杂性。 (英语) Zbl 1235.03052号 Ann.纯粹应用。逻辑 161,第8期,1063-1096(2010).MSC公司:03B44号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds},Ann.《纯粹的应用》。逻辑161,No.8,1063--1096(2010;Zbl 1235.03052) 全文: 内政部
J.M.达沃伦。 直觉模态逻辑和时态逻辑及其经典伴随逻辑:拓扑语义和互模拟。 (英语) Zbl 1221.03019号 Ann.纯粹应用。逻辑 161,第3期,349-367(2009).MSC公司:03B45号 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.M.Davoren},Ann.《纯粹的应用》。逻辑161,No.3,349--367(2009;Zbl 1221.03019) 全文: 内政部
Fabrice骑士;迪帕克·D’Souza;M.Raj莫汉;帕维特拉·普拉巴卡 有限变化函数上的自动机和逻辑。 (英语) Zbl 1221.03031号 Ann.纯粹应用。逻辑 161,第3期,324-336(2009).MSC公司:05年3月 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{F.Chevalier}等人,Ann.Pure Appl。逻辑161,No.3,324--336(2009;Zbl 1221.03031) 全文: 内政部
雷米·布罗赫宁;斯特凡·德姆里;艾蒂安·洛兹 关于记忆状态序列的推理。 (英语) Zbl 1225.68068号 Ann.纯粹应用。逻辑 161,第3号,305-323(2009).MSC公司:68号30 03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Brochenin}等人,Ann.Pure Appl。逻辑161,编号3,305-323(2009;Zbl 1225.68068) 全文: 内政部
大卫·布雷索林;瓦伦丁·戈兰科;安吉洛·蒙塔纳里;圭多·西亚维科 命题区间邻域逻辑:表达性、可判定性和不可判定扩展。 (英语) Zbl 1221.03022号 Ann.纯粹应用。逻辑 161,第3期,289-304(2009).MSC公司:03B70号 03B25号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人,Ann.纯应用。逻辑161,No.3,289--304(2009;Zbl 1221.03022) 全文: 内政部
帕特里夏·鲍耶;托马斯·布里海耶;Fabrice骑士 加权o-最小混合系统。 (英语) 兹伯利1219.68114 Ann.纯粹应用。逻辑 161,第3期,268-288(2009).MSC公司:60年第68季度 03B25号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{P.Bouyer}等人,Ann.Pure Appl。逻辑161,No.3,268--288(2009;Zbl 1219.68114) 全文: 内政部
菲利普·克莱默 动态拓扑S5。 (英语) Zbl 1195.03025号 Ann.纯粹应用。逻辑 160,第1期,96-116(2009). 审核人:Hans van Ditmarsch(塞维利亚) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{P.Kremer},Ann.纯苹果。逻辑160,No.1,96--116(2009;Zbl 1195.03025) 全文: 内政部
大卫·费尔南德斯 动态拓扑逻辑的非确定性语义。 (英语) Zbl 1168.03010号 Ann.纯粹应用。逻辑 157,编号2-3,110-121(2009). 审核人:G.E.Mints(斯坦福) MSC公司:03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández},Ann.纯苹果。逻辑157,No.2--3,110-121(2009;Zbl 1168.03010) 全文: 内政部 arXiv公司
里巴科夫,V。 线性时序逻辑,具有直到和下一个逻辑顺序。 (英语) 兹比尔1147.03008 Ann.纯粹应用。逻辑 155,第1号,32-45(2008).MSC公司:03B44号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov},Ann.《纯粹的应用》。逻辑155,No.1,32--45(2008;Zbl 1147.03008) 全文: 内政部
Gabelaia,D。;A.库鲁茨。;F.沃尔特。;Zakharyaschev,M。 具有扩张域的模态逻辑乘积的非有限递归可判定性。 (英语) 邮编1099.03008 Ann.纯粹应用。逻辑 142,编号1-3,245-268(2006).MSC公司:03B25号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人,Ann.Pure Appl。逻辑142,No.1--3,245--268(2006;Zbl 1099.03008) 全文: 内政部
迈克尔·德克蒂亚;亚历山大·迪科夫斯基;马尔斯·瓦利耶夫 论交互主体行为验证的复杂性。 (英语) Zbl 1096.68143号 Ann.纯粹应用。逻辑 141,第3期,336-362(2006).MSC公司:68T27型 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{M.Dekhtyar}等人,Ann.Pure Appl。逻辑141,No.3,336--362(2006;Zbl 1096.68143) 全文: 内政部
D.博基尔。 一元抽象状态机的可决定属性。 (英语) Zbl 1106.03035号 Ann.纯粹应用。逻辑 141,第3期,308-319(2006). 审核人:Albert A.Mullin(麦迪逊) MSC公司:05年3月 03B25号 60年第68季度 2005年第68季度 68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier},Ann.纯粹应用。逻辑141,No.3,308--319(2006;Zbl 1106.03035) 全文: 内政部
D.博基尔。;Slissenko,A。 一阶时间逻辑中基于周期的可判定类。 (英语) Zbl 1094.03017号 Ann.纯粹应用。逻辑 139,编号1-3,43-73(2006). 审核人:达马斯·格鲁斯卡(布拉迪斯拉发) MSC公司:03B70号 60年第68季度 03B25号 03B44号 68米14 PDF格式BibTeX公司 XML格式引用 \textit{D.Beauquier}和\textit{A.Slissenko},Ann.纯粹应用。逻辑139,编号1--3,43-73(2006;Zbl 1094.03017) 全文: 内政部
伊恩·霍德金森 线性和实时上一元保护碎片的复杂性。 (英语) 邮编1093.03009 Ann.纯粹应用。逻辑 138,编号1-3,94-125(2006).MSC公司:03B44号 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson},Ann.《纯粹的应用》。逻辑138,编号1--3,94-125(2006;Zbl 1093.03009) 全文: 内政部 链接
克莱尔·狄克逊;亚历山大·博洛托夫;迈克尔·费希尔 交替自动机和时序逻辑范式。 (英语) Zbl 1087.03013号 Ann.纯粹应用。逻辑 135,编号1-3,263-285(2005).MSC公司:03B44号 第68季度第45季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人,Ann.Pure Appl。逻辑135,No.1--3,263--285(2005;Zbl 1087.03013) 全文: 内政部
菲利普·克莱默;格里戈里薄荷 动态拓扑逻辑。 (英语) Zbl 1067.03028号 Ann.纯粹应用。逻辑 131,编号1-3,133-158(2005). 审核人:Manuel Ojeda Aciego(马拉加) MSC公司:03B45号 03B44号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{P.Kremer}和\textit{G.Mints},Ann.纯应用。逻辑131,No.1--3,133--158(2005;Zbl 1067.03028) 全文: 内政部
弗兰克·沃尔特;迈克尔·扎克哈里亚舍夫 公理化一阶时序逻辑的一元片段。 (英语) Zbl 1031.03023号 Ann.纯粹应用。逻辑 118,编号1-2,133-145(2002). 审核人:彼得·扬查尔(俄斯特拉发) MSC公司:03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},Ann.Pure Appl。逻辑118,No.1--2,133--145(2002;Zbl 1031.03023) 全文: 内政部
伊恩·霍德金森;弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 一阶时序逻辑的可判定片段。 (英语) Zbl 0999.03015号 Ann.纯粹应用。逻辑 106,编号1-3,85-134(2000). 审核人:马丁·霍夫曼(慕尼黑) MSC公司:03B44号 03B25号 第68页,共15页 60年第68季度 68立方英尺 03天35分 PDF格式BibTeX公司 XML格式引用 \textit{I.Hodkinson}等人,Ann.纯应用。逻辑106,编号1--3,85-134(2000;Zbl 0999.03015) 全文: 内政部
罗纳德·费金;约瑟夫·霍尔珀(Joseph Y.Halpern)。;摩西,约拉姆;莫舍·瓦尔迪。 重温常识。 (英语) Zbl 0923.03008号 Ann.纯粹应用。逻辑 96,编号1-3,89-105(1999).MSC公司:03A05号 68立方英尺 03B45号 91A40型 PDF格式BibTeX公司 XML格式引用 \textit{R.Fagin}等人,Ann.Pure Appl。逻辑96,编号1--3,89-105(1999;Zbl 0923.03008) 全文: 内政部
大卫·哈雷;伊莱·辛格曼 计算路径逻辑:一种表达性的但基本的过程逻辑。 (英语) 兹伯利0931.03044 Ann.纯粹应用。逻辑 96,第1-3号,167-186(1999). 审核人:瓦伦丁·F·戈兰科(约翰内斯堡) MSC公司:03B70号 60年第68季度 68问题85 03B25号 2015年3月1日 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel}和\textit{E.Singerman},Ann.Pure Appl。逻辑96,No.1--3,167--186(1999;Zbl 0931.03044) 全文: 内政部
杰斯珀·亨利克森。;蒂亚加拉扬,P.S。 动态线性时间时序逻辑。 (英语) Zbl 0931.03033号 Ann.纯粹应用。逻辑 96,编号1-3,187-207(1999).MSC公司:03B44号 03B70号 05年3月 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.G.Henriksen}和\textit{P.S.Thiagarajan},Ann.Pure Appl。逻辑96,编号1--3,187-207(1999;Zbl 0931.03033) 全文: 内政部
巴拉兹比罗;伊尔迪科·塞恩 Peano算术是程序逻辑和动态逻辑中时间框架的公理化。 (英语) Zbl 0789.03028号 Ann.纯粹应用。逻辑 63,第3期,201-225(1993). 审核人:J.-J.Ch.Meyer(乌得勒支) MSC公司:03B70号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{B.Biró}和\textit{I.Sain},Ann.纯粹应用。逻辑63,No.3,201--225(1993;Zbl 0789.03028) 全文: 内政部
莫舍·瓦尔迪。 并发程序的验证:自动机理论框架。 (英语) Zbl 0725.03013号 Ann.纯粹应用。逻辑 51,编号1-2,79-98(1991). 审核人:A.P.斯托尔布什金(佩雷斯拉夫·泽莱斯基) MSC公司:03B70号 05年3月 60年第68季度 2010年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Y.Vardi},Ann.纯应用。逻辑51,编号1--2,79-98(1991;Zbl 0725.03013) 全文: 内政部