托马斯·弗格森;潘奇阿,维特 结构完备性和超直觉的查询逻辑。 (英语) Zbl 07810565号 Hansen,Helle Hvid(编辑)等人,《逻辑、语言、信息和计算》。2023年7月11日至14日,第29届国际研讨会,WoLLIC 2023,加拿大NS哈利法克斯。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13923, 194-210 (2023).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{T.Ferguson}和\textit{V.Punčochá},Lect。注释计算。科学。13923194-210(2023;Zbl 07810565) 全文: 内政部
布里斯·哈利米 几何模态逻辑。 (英语) Zbl 07787875号 圣母院J.形式逻辑 64,第3号,377-406(2023).MSC公司:03B45号 53C21号 58A05型 PDF格式BibTeX公司 XML格式引用 \textit{B.Halimi},圣母院J.形式逻辑64,第3期,377--406(2023;Zbl 07787875) 全文: 内政部
松田直介 Kripke语义中布尔函数的可定义性。 (英语) Zbl 07787874号 圣母院J.形式逻辑 64,编号3,363-376(2023).MSC公司:03秒20 06E30年 PDF格式BibTeX公司 XML格式引用 \textit{N.Matsuda},圣母院J.形式逻辑64,No.3,363--376(2023;Zbl 07787874) 全文: 内政部
Onoprienko,A.A。 逻辑QHC和QH4的基数约简定理。 (英语。俄文原件) Zbl 07786476号 代数逻辑 61,第6期,491-505(2023年); 《代数逻辑学》第61卷第6期第20-741页(2022年)的译文。MSC公司:03年XX月 20-XX年 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Onoprienko},代数逻辑61,No.6,491--505(2023;Zbl 07786476);《代数逻辑》61,No.6,20-741(2022)的译文 全文: 内政部
诺里希罗·卡米德 支持拒绝的Gentzen-style计算,用于命题非自由线性时间时序逻辑。 (英语) Zbl 07767288号 螺柱日志。 111,第6期,979-1014(2023).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},螺柱日志。111,编号6,979--1014(2023;Zbl 07767288) 全文: 内政部
诺里希罗·卡米德 包括S4和S5在内的正常模态逻辑的可识别伪造的演算和语义。 (英语) Zbl 07726395号 J.逻辑语言信息。 32,第3号,395-440(2023).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Kamide},J.Logic Lang.Inf.32,No.3,395--440(2023年;Zbl 07726395) 全文: 内政部
Tsubasa Takagi 量子逻辑线性时间扩展及其动态方面的语义分析。 (英语) Zbl 07713580号 ACM事务处理。计算。日志。 24,第3号,第19号论文,21页(2023年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{T.Takagi},ACM翻译。计算。日志。24,第3号,第19号论文,第21页(2023;Zbl 07713580) 全文: 内政部
丹尼斯·邦内;达格·韦斯特斯特尔 卡尔纳普的模态逻辑问题。 (英语) Zbl 07689501号 版本符号。日志。 16,编号2,578-602(2023).MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bonnay}和\textit{D.Westerstáhl},版本Symb。日志。16,编号2,578--602(2023;Zbl 07689501) 全文: 内政部
Onoprienko,Anastasiya A。 问题和命题的联合逻辑的谓词版本。 (英语。俄文原件) Zbl 07733536号 Sb.数学。 213,第7期,981-1003(2022); 翻译自Mat.Sb.213,No.7,97-120(2022)。MSC公司:03秒20 PDF格式BibTeX公司 XML格式引用 \textit{A.A.Onoprienko},数学学士。213,编号7,981--1003(2022;Zbl 07733536);翻译自Mat.Sb.213,编号7,97——120(2022) 全文: 内政部 MNR公司
松田直介;Kento Takagi 什么样的连接词导致直觉谓词逻辑和常量域逻辑之间的差异? (英语) Zbl 07691322号 Ciabattoni,Agata(编辑)等人,《逻辑、语言、信息和计算》。第28届国际研讨会,WoLLIC 2022,Iași,罗马尼亚,2022年9月20日至23日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。13468, 175-189 (2022).MSC公司:03B70号 PDF格式BibTeX公司 XML格式引用 \textit{N.Matsuda}和\textit{K.Takagi},莱克特。注释计算。科学。13468,175--189(2022;Zbl 07691322) 全文: 内政部 arXiv公司
贾格尔,格哈德 Kripke-Platek环境中的阶段比较、不动点和最小不动点。 (英语) Zbl 07634477号 圣母院J.形式逻辑 63,第4号,443-461(2022).MSC公司:03日70 03年3月30日 03财年03 PDF格式BibTeX公司 XML格式引用 \textit{G.Jäger},圣母院J.形式逻辑63,No.4,443--461(2022;Zbl 07634477) 全文: 内政部 链接
安德烈亚·坎蒂尼 真理与数学哲学。 (英语) Zbl 07598444号 Oliveri,Gianluigi(编辑)等人,《对象、结构和逻辑》。FilMat研究数学哲学。查姆:斯普林格。波士顿Stud.Philos。历史。科学。339, 311-330 (2022).MSC公司:03年XX月 00A30型 03财年03 35层03 35楼03号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{A.Cantini},波士顿Stud.Philos。历史。科学。339311--330(2022;Zbl 07598444) 全文: 内政部
本·米德尔顿 二进制Kripke语义,用于天真真理的强逻辑。 (英语) Zbl 07576539号 版本符号。日志。 15,第3期,668-692(2022).MSC公司:03B60号 PDF格式BibTeX公司 XML格式引用 \textit{B.Middleton},版本:Symb。日志。15,第3号,668--692(2022;Zbl 07576539) 全文: 内政部 arXiv公司
川野、通崎;松田直介;Kento Takagi 连接词的选择对经典逻辑和直觉逻辑关系的影响。 (英语) 兹伯利07556133 圣母院J.形式逻辑 63,编号2,243-259(2022).MSC公司:03秒20 03B05号 PDF格式BibTeX公司 XML格式引用 \textit{T.Kawano}等人,圣母院J.形式逻辑63,No.2,243--259(2022;Zbl 07556133) 全文: 内政部
韦斯利·福斯纳 将产品设置为关系模型。 (英语) Zbl 07490468号 螺柱日志。 110,编号1,95-120(2022).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{W.Fussner},研究日志。110,编号1,95-120(2022;Zbl 07490468) 全文: 内政部 arXiv公司
罗伯特·戈德布拉特 一些遗传不可解空间的模态逻辑。 (英语) Zbl 07469214号 Düntsch,Ivo(ed.)等人,阿拉斯代尔·厄克哈特(Alasdair Urquhart),关于非经典和代数逻辑以及证明复杂性。查姆:斯普林格。Outst公司。控制日志。22, 303-322 (2022).MSC公司:03B45号 54层99 PDF格式BibTeX公司 XML格式引用 \textit{R.Goldblatt},奥斯特。控制日志。22303--322(2022;Zbl 07469214) 全文: 内政部 arXiv公司
卫斯理·H·霍利迪。 可能性语义。 (英语) Zbl 07669413号 Fitting,Melvin(编辑),当代逻辑学精选主题。逻辑景观2。伦敦:学院出版物。363-476 (2021).MSC公司:05年3月 03B10号机组 03秒20 03B45号 03层45 06D20日 2012年2月6日 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Holliday},in:当代逻辑学精选主题。伦敦:学院出版物。363-476(2021年;Zbl 07669413)
扬尼克·福斯特;多米尼克·柯斯特;多米尼克·韦尔 构造型理论分析了一阶逻辑的完备性定理。扩展版本。 (英语) Zbl 07471462号 J.日志。计算。 第1期第31页,第112-151页(2021年).MSC公司:03楼50 03B35型 03B38型 03B10号机组 PDF格式BibTeX公司 XML格式引用 \textit{Y.Forster}等人,J.Log。计算。31,编号1,112--151(2021;Zbl 07471462) 全文: 内政部
丁一峰 关于信念逻辑和命题量化。 (英语) Zbl 07420144号 J.菲洛斯。日志。 50,第5期,1143-1198(2021).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \文本{Y.Ding},J.Philos。日志。50,编号5,1143--1198(2021;Zbl 07420144) 全文: 内政部
里卡多·奥斯卡·罗德里格斯;阿曼达·维达尔 清晰哥德尔模态逻辑的公理化。 (英语) Zbl 07339959号 螺柱日志。 109,第2期,367-395(2021年).MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{R.O.Rodriguez}和\textit{A.Vidal},Stud.Log。109,编号2,367-395(2021;兹bl 07339959) 全文: 内政部 arXiv公司
卫斯理·H·霍利迪。 好奇的直觉主义逻辑。 (英语) Zbl 07585721号 Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。329-348 (2020).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{W.H.Holliday},in:模态逻辑的进展。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24-28日。伦敦:学院出版物。329-348(2020年;兹bl 07585721)
拉杰夫·戈尔;伊恩·希利托 双教学逻辑:旧问题的新实例。 (英语) Zbl 07585718号 Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。269-288 (2020).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{R.Goré}和\textit{I.Shillito},in:模态逻辑的进展。第13卷。第13届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24-28日。伦敦:学院出版物。269--288(2020;Zbl 07585718)
丁一峰;卫斯理·H·霍利迪。 可能世界语义中的另一个问题。 (英语) Zbl 07585712号 Olivetti,Nicola(编辑)等人,《模态逻辑的进展》。第13卷。第十三届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24日至28日。伦敦:学院出版物。149-168 (2020).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{Y.Ding}和\textit{W.H.Holliday},in:模态逻辑的进展。第13卷。第13届会议记录(AiML 2020),芬兰赫尔辛基,虚拟会议,2020年8月24-28日。伦敦:学院出版物。149-168(2020年;Zbl 07585712)
Ţuţu,伊奥努;Chiriţ,Claudia E。;JoséL.Fiadeiro。 当数据库漫游计算时:正式的数据库规范重新审视了语言的视角。 (英语) Zbl 07503147号 爱德华·赫尔曼(Edward Hermann)等,“问题比答案更有启发性。”。Paulo A.S.Veloso的节日。伦敦:学院出版物。致敬44,261-278(2020)。MSC公司:03年XX月 PDF格式BibTeX公司 XML格式引用 \textit{I.Ţuţu}等人,《致敬》44261-278(2020;Zbl 07503147)
西尔维娅·吉勒赞;Jelena Ivetić;西蒙娜·卡什特罗维奇;佐兰·奥格尼亚诺维奇;内纳德·萨维奇 类型理论中的概率推理——交叉类型案例。 (英语) Zbl 07266049号 Andreas Herzig等人,《信息和知识系统基础》。第十一届国际研讨会,2020年2月17日至21日,德国多特蒙德,FoIKS 2020。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12012, 122-139 (2020).MSC公司:第68页,共15页 68T27型 68层35 68单位35 PDF格式BibTeX公司 XML格式引用 \textit{S.Ghilezan}等人,Lect。注释计算。科学。12012、122--139(2020;Zbl 07266049) 全文: 内政部
托马斯·皮埃查;彼得·施罗德·海斯特 直觉命题逻辑相对于证明理论语义的不完全性。 (英语) Zbl 07055418号 螺柱日志。 107,编号1,233-246(2019).MSC公司:03财年03 03秒20 PDF格式BibTeX公司 XML格式引用 \textit{T.Piecha}和\textit{P.Schroeder-Heister},Stud.Log。107,编号1,233--246(2019;Zbl 07055418) 全文: 内政部
古拉姆·贝扎尼什维利;卫斯理·H·霍利迪。 直觉逻辑的语义层次结构。 (英语) Zbl 07049867号 印度。数学。,新序列号。 30,第3期,403-469(2019).MSC公司:03年XX月 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}和\textit{W.H.Holliday},印度。数学。,新序列号。30,编号3,403-469(2019;兹bl 07049867) 全文: 内政部 链接 反向链接: 卫生官员