古拉姆·贝扎尼什维利;安德烈·科内尔 布尔代数上模态和时态算子的结构。 arXiv:2308.08664 预打印,arXiv:2308.08664[math.LO](2023)。MSC公司:03B45号 03B44号 06E25年 2015年6月 54G05号 54B20型 18英尺70英寸 2012年2月6日 BibTeX公司 引用 \textit{G.Bezhanishvili}和\textit{A.Kornell},“关于布尔代数上模态和时态算子的结构”,预印,arXiv:2308.08664[math.LO](2023) 全文: arXiv公司 OA许可证
迪米特·瓦卡洛夫 具有实际存在谓词的动态接触代数:快照表示和拓扑对偶。 (英语) Zbl 1511.03004号 Düntsch,Ivo(ed.)等人,阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:施普林格。Outst公司。控制日志。22, 411-475 (2022). 审核人:Hirokazu Nishimura(筑波) MSC公司:03B44号 03G25 08A02号 18A23型 54D10号 54天30分 54甲10 PDF格式BibTeX公司 XML格式引用 \文本{D.Vakarelov},外部。控制日志。22411--475(2022;Zbl 1511.03004) 全文: 内政部
迪米特·瓦卡洛夫 空间和时间的无点理论。 (英语) Zbl 07669422号 Fitting,Melvin(编辑),当代逻辑学精选主题。逻辑景观2。伦敦:学院出版物。715-793 (2021).MSC公司:03B60号 03B30型 03B44号 54D10号 54天30分 PDF格式BibTeX公司 XML格式引用 \textit{D.Vakarelov},in:当代逻辑精选主题。伦敦:学院出版物。715--793(2021;Zbl 07669422)
里卡多·皮诺西奥;米歇尔·范·兰巴金 康德时间连续体的逻辑和拓扑。 (英语) Zbl 1395.01018号 版本符号。日志。 11,第1期,160-206(2018). 审核人:Robert W.van der Waall(阿姆斯特丹) MSC公司:01A50号 03-03 03B44号 03F99型 35楼06号 54E55型 PDF格式BibTeX公司 XML格式引用 \textit{R.Pinosio}和\textit{M.van Lambalgen},Rev.Symb。日志。11,第1号,160--206(2018;Zbl 1395.01018) 全文: 内政部
V.F.穆尔齐纳。 线性有序(α)-空间的时间逻辑。 (英语。俄文原件) Zbl 1241.03016号 代数逻辑 47,第6号,405-419(2008); 摘自《代数逻辑》47,第6期,723-749(2008)。MSC公司:03B44号 2012年2月6日 第54页 PDF格式BibTeX公司 XML格式引用 \textit{V.F.Murzina},代数逻辑47,No.6,405--419(2008;Zbl 1241.03016);《代数逻辑学》47,No.6,723--749(2008)的译文 全文: 内政部
马尔金·沃尔斯基 信息量和近似操作符:再次围绕轨道。 (英语) 兹比尔1170.68605 Peters,James F.(编辑)等人,《粗糙集交易》VIII。柏林:施普林格出版社(ISBN 978-3-540-85063-2/pbk)。计算机科学课堂讲稿5084。《期刊副刊》,237-250(2008)。MSC公司:68立方英尺 03B44号 03G25 54A10号 PDF格式BibTeX公司 XML格式引用 \textit{M.沃尔斯基},莱克特。注释计算。科学。5084、237--250(2008年;Zbl 1170.68605) 全文: 内政部
大卫·费尔南德斯·杜克 \(\mathbb R^2\)的动态拓扑完备性。 (英语) Zbl 1126.03021号 日志。J.IGPL公司 15,第1期,77-107(2007). 审核人:阿尔弗雷多·布里耶扎·穆尼兹(马拉加) MSC公司:03B45号 03B44号 54H20个 54D05型 PDF格式BibTeX公司 XML格式引用 \textit{D.Fernández Duque},日志。J.IGPL 15,第1号,77--107(2007;Zbl 1126.03021) 全文: 内政部
科涅夫,B。;R.孔查科夫。;F.沃尔特。;Zakharyaschev,M。 连续函数空间上的动态拓扑逻辑。 (英语) Zbl 1148.03018号 Governatori,Guido(编辑)等人,《模态逻辑的进展》。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议(AiML 2006)论文选集。伦敦:学院出版物(ISBN 1-904987-20-6/pbk)。299-318 (2006).MSC公司:03B45号 03B44号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,in:模态逻辑的进展。第6卷。2006年9月25日至28日在澳大利亚努萨举行的第六届会议(AiML 2006)论文选集。伦敦:学院出版物。299--318(2006;Zbl 1148.03018)
科涅夫,B。;R.孔查科夫。;F.沃尔特。;Zakharyaschev,M。 关于动态拓扑和度量逻辑。 (英语) Zbl 1114.03026号 螺柱日志。 84,第1期,129-160(2006).MSC公司:03B60号 03B45号 03B44号 03B25号 54H20个 PDF格式BibTeX公司 XML格式引用 \textit{B.Konev}等人,研究日志。84,第1号,129--160(2006;Zbl 1114.03026) 全文: 内政部
弗兰克·沃尔特;扎卡里亚舍夫,迈克尔 度量和拓扑的逻辑。 (英语) Zbl 1089.03021号 J.塞姆。日志。 70,第3期,795-828(2005).MSC公司:03B60号 03B44号 54E35个 03B70号 2017年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{F.Wolter}和\textit{M.Zakharyaschev},J.Symb。日志。70,第3号,795--828(2005;Zbl 1089.03021) 全文: 内政部 链接
菲利普·克莱默;格里戈里薄荷 动态拓扑逻辑。 (英语) 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) 全文: 内政部
J.M.达沃伦。 拓扑、连续性和互模拟。 (英语) Zbl 0940.03021号 西奥。通知。申请。 33,No.4-5,357-381(1999).MSC公司:03B44号 93C99号 54C60个 03B80号 68问题85 PDF格式BibTeX公司 XML格式引用 \文本{J.M.Davoren},Theor。通知。申请。33,编号4--5,357--381(1999;Zbl 0940.03021) 全文: 内政部 欧洲DML 链接
雷切尔·本·埃利亚胡;梅纳赫姆·马吉多 用于证明拓扑一般执行属性的时态逻辑。 (英语) Zbl 0861.03024号 Inf.计算。 124,第2期,127-144(1996). 审核人:M.Gabbrielli(比萨) MSC公司:03B70号 03B45号 60年第68季度 2010年第68季度 54E52型 PDF格式BibTeX公司 XML格式引用 \textit{R.Ben-Eliyahu}和\textit{M.Magidor},Inf.Compute。124,第2号,127--144(1996;Zbl 0861.03024) 全文: 内政部
Kwiatkowska,M。;D.贝利德。;彭泽克,W。 部分顺序时间属性的层次结构。 (英语) Zbl 0949.68537号 Gabbay,Dov M.(编辑)等人,《时间逻辑》。1994年7月11日至14日在德国波恩举行的1994年国际刑事法庭第一届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。827, 398-414 (1994).MSC公司:60年第68季度 68问题55 03B44号 第68季度第45季度 05年5月54日 PDF格式BibTeX公司 XML格式引用 \textit{M.Kwiatkowska}等人,Lect。注释计算。科学。827398-414(1994年;Zbl 0949.68537)
马丁·利什内尔 关于命题时序逻辑的紧性定理。 (英语) Zbl 0766.03011号 安.社会.数学。政策。,序列号。四、 芬丹。信息。 16,第1期,39-57(1992).MSC公司:03B45号 68问题55 03C90号 54天30分 54E15型 PDF格式BibTeX公司 XML格式引用 \textit{M.Leishner},安.社会数学。政策。,序列号。四、 芬丹。Inf.16,No.1,39--57(1992;Zbl 0766.03011)