尼克·贝扎尼什维利;吉姆·德·格罗特;维尼马,伊德 协同几何逻辑:基本理论。 (英语) Zbl 07639906号 日志。方法计算。科学。 18,第4号,第10号论文,41页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{N.Bezhanishvili}等人,日志。方法计算。科学。18,第4号,第10号论文,41页(2022;Zbl 07639906) 全文: 内政部 arXiv公司
贝扎尼什维利,古拉姆;尼克·贝扎尼什维利;吉姆·德·格罗特 邻域框架二重性的联合方法。 (英语) Zbl 07577568号 日志。方法计算。科学。 18,第3号,第4号论文,39页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{G.Bezhanishvili}等人,日志。方法计算。科学。18,第3号,第4号论文,39页(2022;Zbl 07577568) 全文: arXiv公司 链接
吉姆·德·格罗特;德克·帕丁森 模态符合蕴涵逻辑。 (英语) Zbl 07577565号 日志。方法计算。科学。 18,第3号,第1号论文,35页(2022年).MSC公司:03B70号 68倍 PDF格式BibTeX公司 XML格式引用 \textit{J.de Groot}和\textit{D.Pattinson},Log。方法计算。科学。18,第3号,第1号论文,35页(2022;Zbl 07577565) 全文: arXiv公司 链接