马塞洛·E·科尼格里奥。;路易斯·法利尼亚斯·德尔·塞罗;佩隆,牛顿·马克 具有非确定性语义的模态逻辑。二: 量化案例。 (英语) Zbl 07677428号 日志。J.IGPL公司 第5期,第30期,第695-727页(2022年).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{M.E.Coniglio}等人,《日志》。J.IGPL 30,编号5695-727(2022;Zbl 07677428) 全文: 内政部 arXiv公司
罗宾·赫希;米库拉斯(Mikulás,Szabolcs);斯托克斯,蒂姆 非确定性程序的代数:恶魔般的操作、命令和公理。 (英语) 兹比尔1499.08001 日志。J.IGPL公司 30,第5号,886-906(2022).MSC公司:08A02号 08A70号 05年6月 20个M10 68号30 PDF格式BibTeX公司 XML格式引用 \textit{R.Hirsch}等人,日志。J.IGPL 30,第5号,886--906(2022年;Zbl 1499.08001) 全文: 内政部 arXiv公司 链接
大卫·吉尔伯特;叶卡捷琳娜·库比什基纳;马蒂亚·彼得罗洛;乔治·文丘里 无知和错误的逻辑。 (英语) Zbl 1499.03014号 日志。J.IGPL公司 30,第5号,870-885(2022).MSC公司:03B42号 PDF格式BibTeX公司 XML格式引用 \textit{D.Gilbert}等人,Log。J.IGPL 30,第5号,870--885(2022;Zbl 1499.03014) 全文: 内政部
伊凡·查伊达;大卫·法齐奥;赫尔穆特·Länger;安东尼奥·莱达;简·帕塞卡 副正交模偏序集的代数性质。 (英语) Zbl 07613861号 日志。J.IGPL公司 30,编号5,840-869(2022).MSC公司:06第15页 03G12号机组 06B35号 PDF格式BibTeX公司 XML格式引用 \textit{I.Chajda}等人,日志。J.IGPL 30,编号5,840--869(2022;Zbl 07613861) 全文: 内政部 arXiv公司
翁贝托·里维奇奥 拟纳尔逊的碎片:可代数的核心。 (英语) Zbl 1499.03075号 日志。J.IGPL公司 30,第5期,807-839(2022).MSC公司:03G25号 03B20型 03B47型 PDF格式BibTeX公司 XML格式引用 \textit{U.Rivieccio},日志。J.IGPL 30,第5号,807--839(2022年;Zbl 1499.03075) 全文: 内政部
阿瓜德罗·阿瓜德罗,胡安·C。;安德烈斯·西卡德·拉米雷斯 具有相反类型的类型理论:一种次协调类型理论。 (英语) Zbl 1499.03012号 日志。J.IGPL公司 30,第5期,777-806(2022).MSC公司:03立方厘米38 03B53号 PDF格式BibTeX公司 XML格式引用 \textit{J.C.Agudelo-Agdelo}和\textit{A.Sicard-Ramírez},Log。J.IGPL 30,第5号,777--806(2022;Zbl 1499.03012) 全文: 内政部
马蒂亚斯·格纳 示例逻辑。 (英语) Zbl 1499.03019号 日志。J.IGPL公司 30,第5期,728-776(2022).MSC公司:03B48号 PDF格式BibTeX公司 XML格式引用 \textit{M.Gerner},日志。J.IGPL 30,编号5,728--776(2022;Zbl 1499.03019) 全文: 内政部