大卫·加伯里亚;叶夫根尼·库兹涅佐夫;米哈伊莱斯库，拉杜·卡西安;康斯坦丁·拉兹马泽;莱文·乌里迪亚 有限线性过程之间的满射有界态射的时间逻辑。 （英语） Zbl 07821016号 J.应用。非类别。日志。 34，编号1，1-30（2024）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{D.Gabelaia}等人，J.Appl。非类别。日志。34，编号1，1--30（2024；Zbl 07821016） 全文： 内政部
Guyet，T。 将时间序列概括为编年史是可以接受的。 （英语） Zbl 07757225号 J.应用。非类别。日志。 33，编号3-4，641-653（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{T.Guyet}，J.Appl（J.应用程序）。非类别。日志。33，编号3--4，641--653（2023；Zbl 07757225） 全文： 内政部
阿维德·贝克尔;佩德罗·卡巴拉;马丁·迪盖兹;路易斯·法里纳斯·德尔·塞罗;托尔斯滕·绍布;安娜·舒曼 度量动态平衡逻辑。 （英语） Zbl 07757219号 J.应用。非类别。日志。 33，编号3-4，495-519（2023）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Becker}等人，J.Appl。非类别。日志。33，编号3--4，495--519（2023；Zbl 07757219） 全文： 内政部
阿纳塞·查菲克;Fahima Cheikh-Alili;Jean-François康多塔;伊万·瓦尔津扎克 可延迟线性时序逻辑。 （英语） Zbl 07708149号 J.应用。非类别。日志。 33，第1期，1-51页（2023年）.MSC公司：03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{A.Chafik}等人，J.Appl。非类别。日志。33，编号1，1--51（2023；Zbl 07708149） 全文： 内政部
Dimitar P.Guelev。;本·莫斯科夫斯基 更正为：“离散时间区间时序逻辑的分离定理”。 （英语） Zbl 1517.03015号 J.应用。非类别。日志。 32，编号4，335-338（2022）.MSC公司：03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski}，J.Appl。非类别。日志。32，编号4，335--338（2022；Zbl 1517.03015） 全文： 内政部
Dimitar P.Guelev。;本·莫斯科夫斯基 离散时间间隔时间逻辑的一个分离定理。 （英语） Zbl 1517.03014号 J.应用。非类别。日志。 32，编号1，28-54（2022）; 更正同上，32，第4号，335-338（2022）。MSC公司：03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}和\textit{B.Moszkowski}，J.Appl。非类别。日志。32，编号1，28--54（2022；Zbl 1517.03014） 全文： 内政部
约翰·格兰特 测量一些分支时间逻辑中的不一致性。 （英语） 兹比尔1515.03083 J.应用。非类别。日志。 31，编号2，85-107（2021）.MSC公司：03B44号 03B70号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Grant}，J.Appl。非类别。日志。31，编号2，85-107（2021；Zbl 1515.03083） 全文： 内政部
塞雷内拉，塞里托;玛塔·齐尔迪亚·迈耶;罗伯特·德莫洛姆 生物化学反应的时间溯源推理。 （英语） Zbl 1398.03154号 J.应用。非类别。日志。 27，编号3-4，269-291（2017）.MSC公司：03B80号 03B44号 92C40型 92E20型 PDF格式BibTeX公司 XML格式引用 \textit{S.Cerrito}等人，J.Appl。非类别。日志。27、编号3--4、269--291（2017；Zbl 1398.03154） 全文： 内政部 链接
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁维达尔 具有过去运算符的时间平衡逻辑。 （英语） Zbl 1398.03077号 J.应用。非类别。日志。 27、第3-4、161-177号（2017）.MSC公司：03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{F.Aguado}等人，J.Appl。非类别。日志。27、编号3--4、161-177（2017；Zbl 1398.03077） 全文： 内政部
John C.McCabe-Dansted。;法语，蒂姆;苏菲·平奇纳特;雷诺兹，马克 健壮逻辑的表达性和简洁性。 （英语） 兹比尔1400.68137 J.应用。非类别。日志。 25，第3期，193-228（2015）.MSC公司：68问题85 03B44号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.McCabe-Dansted}等人，J.Appl。非类别。日志。25，第3号，193--228（2015；Zbl 1400.68137） 全文： 内政部
斯特凡·德姆里;Deters，摩根 分离逻辑和方式：一项调查。 （英语） Zbl 1398.03151号 J.应用。非类别。日志。 25，第1期，50-99（2015）.MSC公司：03B70号 03B25号 03B44号 03B45号 2015年3月1日 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}和\textit{M.Deters}，J.Appl。非类别。日志。25，第1号，50--99（2015；Zbl 1398.03151） 全文： 内政部 哈尔
贾纳丹·米斯拉;苏曼·罗伊 基于可判定超时的线性时序逻辑扩展。 （英语） Zbl 1398.03081号 J.应用。非类别。日志。 24，第3期，262-291（2014）.MSC公司：03B44号 03B47号 03B70号 60年第68季度 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra}和\textit{S.Roy}，J.Appl。非类别。日志。24，第3号，262--291（2014；Zbl 1398.03081） 全文： 内政部
埃米利亚诺·洛里尼 时序STIT逻辑及其在规范推理中的应用。 （英语） Zbl 1398.03080号 J.应用。非类别。日志。 23，第4期，372-399（2013）.MSC公司：03B44号 03B42号 68T27型 PDF格式BibTeX公司 XML格式引用 \文本｛E.Lorini｝，J.Appl。非类别。日志。23，第4号，372--399（2013；Zbl 1398.03080） 全文： 内政部
斯特凡诺·巴拉泰拉;安德烈亚·马西尼 捆绑分支时间逻辑的自然演绎系统。 （英语） Zbl 1398.03079号 J.应用。非类别。日志。 23，第3期，268-283（2013）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Baratella}和\textit{A.Masini}，J.Appl。非类别。日志。23、第3号、268--283（2013；Zbl 1398.03079） 全文： 内政部
费利西达·阿瓜多;佩德罗·卡巴拉尔;马丁·迪盖兹;吉尔伯托·佩雷斯;康塞普西翁·维达尔 时间均衡逻辑：一项调查。 （英语） Zbl 1400.68199号 J.应用。非类别。日志。 23，编号1-2，2-24（2013）.MSC公司：68T27型 03B44号 68N17号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit｛F.Aguado｝等人，J.应用。非类别。日志。23、编号1--2、2--24（2013；Zbl 1400.68199） 全文： 内政部
科杜拉·威托泽卡;约翰·泽尔马克 变化逻辑的一些微积分。 （英语） Zbl 1398.03082号 J.应用。非类别。日志。 22，编号1-2，3-10（2012）.MSC公司：03B44号 03B42号 PDF格式BibTeX公司 XML格式引用 \textit{K.Świetorzecka}和\textit{J.Czermak}，J.Appl。非类别。日志。22，第1-2,3-10号（2012年；兹bl 1398.03082） 全文： 内政部
Dimitar P.Guelev。;柯特林·迪马;康斯坦丁·埃纳 知识、完美回忆和过去的交替时间时序逻辑：公理化和模型检查。 （英语） Zbl 1242.68161号 J.应用。非类别。日志。 21，第1期，93-131（2011）.MSC公司：60年第68季度 03B44号 91A44型 PDF格式BibTeX公司 XML格式引用 \textit{D.P.Guelev}等人，J.Appl。非类别。日志。21，第1号，93--131（2011；Zbl 1242.68161） 全文： 内政部
雷诺兹，马克 少于两个时钟的度量时间推理。 （英语） Zbl 1242.03047号 J.应用。非类别。日志。 20，第4期，437-455（2010）.MSC公司：03B44号 03D78号 PDF格式BibTeX公司 XML格式引用 \textit{M.Reynolds}，J.Appl。非类别。日志。20，第4号，437--455（2010；Zbl 1242.03047） 全文： 内政部
安德烈亚·马西尼;卢卡·维甘诺;马尔科·沃尔佩 从未来回来。 （英语） Zbl 1242.03046号 J.应用。非类别。日志。 20，第3期，241-277（2010）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{A.Masini}等人，J.Appl。非类别。日志。20，第3号，241--277（2010；Zbl 1242.03046） 全文： 内政部
曼弗雷德·库德莱克 关于Hamblin的15时态定理。 （英语） Zbl 1242.03045号 J.应用。非类别。日志。 20，编号1-2，63-80（2010）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{M.Kudlek}，J.Appl（J·应用）。非类别。日志。20，编号1--2，63-80（2010；Zbl 1242.03045） 全文： 内政部
布罗森，简;安德烈亚斯·赫齐格;尼古拉斯·特罗夸德 哪些组做,可以做，和知道他们可以做：在正常模态逻辑中进行分析。 （英语） Zbl 1210.03015号 J.应用。非类别。日志。 19，第3期，261-289（2009）. 审核人：埃里克·马丁（悉尼） MSC公司：03B42号 03B44号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{J.Broersen}等人，J.Appl。非类别。日志。19，第3号，261--289（2009；Zbl 1210.03015） 全文： 内政部
沃尔特·侯赛克 事务查询的时序逻辑的序列化问题。 （英语） 兹比尔1187.03017 J.应用。非类别。日志。 18，第1号，67-78（2008）.MSC公司：03B44号 03B25号 第68页，共15页 PDF格式BibTeX公司 XML格式引用 \textit{W.Hussak}，J.应用。非类别。日志。18，编号1，67--78（2008；Zbl 1187.03017） 全文： 内政部
弗拉基米尔·里巴科夫 具有交互代理的时态逻辑。可判定性：定理和可容许规则。 （英语） Zbl 1181.03016号 J.应用。非类别。日志。 18，编号2-3293-308（2008）.MSC公司：03B44号 03B25号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{V.Rybakov}，J.应用。非类别。日志。18、编号2--3、293--308（2008；Zbl 1181.03016） 全文： 内政部
沃伊切赫，詹罗加;托马斯·奥戈特内斯 建构性知识：代理人在不完全信息下可以实现什么。 （英语） Zbl 1186.03031号 J.应用。非类别。日志。 17，第4期，423-475（2007）.MSC公司：03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{W.Jamroga}和\textit{T.奥戈特内斯}，J.Appl。非类别。日志。17，第4号，423--475（2007；Zbl 1186.03031） 全文： 内政部
米哈伊尔·里巴科夫 EXPTIME-完全逻辑有限变量片段的复杂性。 （英语） Zbl 1186.03047号 J.应用。非类别。日志。 17，第3号，359-382（2007）.MSC公司：03B45号 2015年3月1日 2017年第68季度 65年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.Rybakov}，J.应用。非类别。日志。17，第3号，359--382（2007；Zbl 1186.03047）
谢尔盖·马尔达耶夫 模态逻辑和时序逻辑中的可定义不动点——一项调查。 （英语） Zbl 1186.03046号 J.应用。非类别。日志。 17，第3期，317-346（2007）.MSC公司：03B45号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{S.Mardaev}，J.Appl。非类别。日志。17，第3号，317--346（2007；Zbl 1186.03046）
诺里希罗·卡米德 走向资源理论：基于软指数的方法。 （英语） Zbl 1186.03056号 J.应用。非类别。日志。 17，第1期，63-89（2007）.MSC公司：03B70号 03楼52 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide}，J.应用。非类别。日志。17，编号1，63--89（2007；Zbl 1186.03056） 全文： 内政部
安吉洛·蒙塔纳里;阿德里亚诺·佩隆;加布里埃尔，小狗 时间粒度理论与一个继承者的一元二阶理论之间的关系。 （英语） Zbl 1186.03037号 J.应用。非类别。日志。 16，编号3-4，433-455（2006）.MSC公司：03B44号 03B25号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{A.Montanari}等人，J.Appl。非类别。日志。16，编号3--4，433--455（2006；Zbl 1186.03037） 全文： 内政部 链接
斯特凡·德姆里 具有Presburger约束的线性时间时序逻辑：概述。 （英语） Zbl 1186.03036号 J.应用。非类别。日志。 16，第3-4、311-347号（2006）.MSC公司：03B44号 05年3月 65年第68季度 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{S.Demri}，J.Appl.（《应用》杂志）。非类别。日志。16，编号3--4，311--347（2006；Zbl 1186.03036） 全文： 内政部
大卫·布雷索林;乔安娜·戈林斯卡·皮拉雷克;或者鄂尔多斯卡 区间时序逻辑的关系对偶表。 （英语） Zbl 1186.03035号 J.应用。非类别。日志。 16，第3-4号，251-277（2006）.MSC公司：03B44号 03B35型 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bresolin}等人，J.Appl。非类别。日志。16，编号3--4，251--277（2006；Zbl 1186.03035） 全文： 内政部
克莱尔·狄克逊;Cláudia Nalon;迈克尔·费希尔 时间和知识的逻辑表以及与同步相关的交互。 （英语） Zbl 1185.03013号 J.应用。非类别。日志。 14，第4期，397-445（2004）.MSC公司：03B42号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{C.Dixon}等人，J.Appl。非类别。日志。14，第4号，397--445（2004；Zbl 1185.03013） 全文： 内政部
亚历山德罗·阿塔尔;卡斯滕·卢茨 时间描述逻辑之间的通信。 （英语） Zbl 1180.68254号 J.应用。非类别。日志。 14，No.1-2，209-233（2004）.MSC公司：68T27型 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{A.Artale}和\textit{C.Lutz}，J.Appl。非类别。日志。14，编号1--2，209--233（2004；Zbl 1180.68254） 全文： 内政部
D.圭列夫。 持续时间演算中的逻辑插值和状态投影。 （英语） Zbl 1181.03013号 J.应用。非类别。日志。 14，第1-2期，181-208（2004）.MSC公司：03B44号 03C40号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev}，J.应用。非类别。日志。14，编号1--2，181-208（2004；Zbl 1181.03013） 全文： 内政部
D.圭列夫。;当文雄（Dang Van Hung） 持续时间演算中状态投影的相对完整公理化。 （英语） 兹比尔1181.03014 J.应用。非类别。日志。 14，编号1-2，149-180（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Guelev}和\textit{Dang Van Hung}，J.Appl。非类别。日志。14，编号1--2149-180（2004；Zbl 1181.03014） 全文： 内政部
Gómez，R。;H·鲍曼。 PITL2MONA：实现命题区间时序逻辑的决策过程。 （英语） Zbl 1181.03011号 J.应用。非类别。日志。 14，编号1-2，105-148（2004）.MSC公司：03B44号 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{R.Gómez}和\textit{H.Bowman}，J.Appl。非类别。日志。14，编号1--2，105-148（2004；Zbl 1181.03011） 全文： 内政部
莫斯科夫斯基，B。 有限时间命题区间时序逻辑的层次完备性证明。 （英语） Zbl 1181.03015号 J.应用。非类别。日志。 14，编号1-2，55-104（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{B.Moszkowski}，J.应用。非类别。日志。14，编号1--2，55-104（2004；Zbl 1181.03015） 全文： 内政部
V.戈兰科。;A.蒙塔纳里。;Sciavicco，G。 时间间隔逻辑和持续时间计算的路线图。 （英语） Zbl 1181.03012号 J.应用。非类别。日志。 14，编号1-2，9-54（2004）.MSC公司：03B44号 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}等人，J.Appl。非类别。日志。14，编号1--2，9--54（2004；Zbl 1181.03012） 全文： 内政部 链接
瓦伦丁·戈兰科;安吉洛·蒙塔纳里 时间间隔逻辑和持续时间计算专题前言。 （英语） Zbl 1180.03019号 J.应用。非类别。日志。 14，第1-2、7-8号（2004）.MSC公司：03B44号 03-02 PDF格式BibTeX公司 XML格式引用 \textit｛V.Goranko｝和\textit｛A.Montanari｝，J.Appl。非类别。日志。14，编号1--2，7--8（2004；Zbl 1180.03019） 全文： 内政部
乔里·恩格弗里特;简·特雷尔 非单调推理的规范。 （英语） Zbl 1033.03515号 J.应用。非类别。日志。 10，第1期，7-26（2000）.MSC公司：03B60号 03B44号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Appl。非类别。日志。10，第1号，第7--26号（2000；Zbl 1033.03515） 全文： 内政部
巴勃罗·科德罗;曼努埃尔·恩西索;de Guzmán，Inma P。 保留暗示和暗示的时间否定范式。 （英语） Zbl 1033.03507号 J.应用。非类别。日志。 10，编号3-4，243-272（2000）.MSC公司：03B44号 03B35型 PDF格式BibTeX公司 XML格式引用 \textit{P.Cordero}等人，J.Appl。非类别。日志。10，编号3--4，243--272（2000；Zbl 1033.03507） 全文： 内政部
瓦伦丁·戈兰科 带有引用指针的时态逻辑和计算树逻辑。 （英语） 兹比尔1033.03022 J.应用。非类别。日志。 10，编号3-4，221-242（2000）.MSC公司：03B70号 03B44号 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{V.Goranko}，J.应用。非类别。日志。10，编号3--4，221--242（2000；Zbl 1033.03022） 全文： 内政部
汉斯·尤根·奥巴赫;Dov Gabbay公司 日历逻辑。 （英语） Zbl 0930.03017号 J.应用。非类别。日志。 8，第4期，291-323（1998）. 审核人：P.马特拉纳（普拉哈） MSC公司：03B44号 03B25号 PDF格式BibTeX公司 XML格式引用 \textit{H.J.Ohlbach}和\textit{D.Gabbay}，J.Appl。非类别。日志。8，第4号，291--323（1998；Zbl 0930.03017） 全文： 内政部
迈克尔·伍尔德里奇;克莱尔·狄克逊;迈克尔·费希尔 一种基于表格的知识和信念时序逻辑证明方法。 （英语） Zbl 0926.03011号 J.应用。非类别。日志。 8，第3期，225-258（1998年）. 审核人：V.Ya.公司。克雷诺维奇（埃尔帕索） MSC公司：03B42号 03B35型 68T27型 03B44号 68立方英尺 PDF格式BibTeX公司 XML格式引用 \textit{M.Wooldridge}等人，J.Appl。非类别。日志。8，第3号，225--258（1998；Zbl 0926.03011） 全文： 内政部
普里乌斯克维修斯，Regimantas 在一阶线性时序逻辑中，用相似饱和代替归纳法。 （英语） Zbl 0917.03027号 J.应用。非类别。日志。 8，编号1-2，141-169（1998）.MSC公司：05年3月 03B45号 PDF格式BibTeX公司 XML格式引用 \文本{R.Pliuskevicius}，J.Appl。非类别。日志。8，编号1--2，141--169（1998；Zbl 0917.03027） 全文： 内政部
乔里·恩格弗里特;简·特雷尔 推理的时间理论。 （英语） Zbl 0849.03018号 J.应用。非类别。日志。 5，第1号，97-119（1995）; 修正号2，239-261（1995）。 审核人：J.Sefránek（布拉迪斯拉发） MSC公司：03B60号 68T27型 03B45号 68立方英尺 03B80号 PDF格式BibTeX公司 XML格式引用 \textit{J.Engelfriet}和\textit{J.Treur}，J.Appl。非类别。日志。5、编号1、97--119；更正版本号2，239--261（1995；Zbl 0849.03018） 全文： 内政部
马塞洛·芬格 以二维时序逻辑处理数据库更新。 （英语） Zbl 0798.68048号 J.应用。非类别。日志。 201-224（1992）第2期第2条.MSC公司：第68页，共15页 03B45号 PDF格式BibTeX公司 XML格式引用 \文本｛M.Finger｝，J.Appl。非类别。日志。2，编号2，201--224（1992；Zbl 0798.68048） 全文： 内政部
阿尔弗雷多·布里耶扎;de Guzmán，Inma P。 一种新的代数语义方法和一些适当的内涵，用于离散时间上的时态逻辑计算。 （英语） Zbl 0790.03017号 J.应用。非类别。日志。 第2期，第181-200页（1992年）.MSC公司：03B45号 第68季度55 PDF格式BibTeX公司 XML格式引用 \textit{A.Burrieza}和\textit{I.P.de Guzmán}，J.Appl。非类别。日志。2，编号2181-200（1992年；Zbl 0790.03017） 全文： 内政部
施林格洛夫，伯恩德·霍尔格 树的时序逻辑的表示完整性。 （英语） Zbl 0790.03020号 J.应用。非类别。日志。 2，第2期，157-180（1992）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{B.-H.Schlingloff}，J.应用。非类别。日志。2，第2号，157--180（1992；Zbl 0790.03020） 全文： 内政部
斯蒂芬·默兹 线性时间一阶时序逻辑的可判定性和不完全性结果。 （英语） Zbl 0790.03019号 J.应用。非类别。日志。 第2期，第139-156页（1992年）.MSC公司：03B45号 03B25号 03B70号 PDF格式BibTeX公司 XML格式引用 \textit{S.Merz}，J.Appl（J.梅尔茨）。非类别。日志。2，编号2，139--156（1992；Zbl 0790.03019） 全文： 内政部
拉里萨·马克西莫娃 “下一个”的时态逻辑不具有Beth属性。 （英语） Zbl 0914.03024号 J.应用。非类别。日志。 第1期，第73-76页（1991年）.MSC公司：03B45号 PDF格式BibTeX公司 XML格式引用 \textit{L.Maksimova}，J.应用。非类别。日志。1，编号1，73--76（1991；Zbl 0914.03024） 全文： 内政部