奥兰德利,尤金尼奥 非正规模态逻辑和道义逻辑的顺序计算和插值。 (英语) Zbl 1517.03018号 日志。日志。菲洛斯。 30,第1号,139-183(2021).MSC公司:03B45号 05年3月 PDF格式BibTeX公司 XML格式引用 \textit{E.Orlandelli},日志。日志。菲洛斯。30,编号1,139-183(2021;兹bl 1517.03018) 全文: 内政部 arXiv公司
贾里德·米尔森 刺激剂的可解演算。 (英语) Zbl 1517.03033号 日志。日志。菲洛斯。 30,编号1,3-37(2021).MSC公司:03B70号 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.Millson},日志。日志。菲洛斯。30,编号1,3--37(2021;Zbl 1517.03033) 全文: 内政部 arXiv公司
劳埃德·亨伯斯通 监督、依赖、分离。 (英语) Zbl 1477.03052号 日志。日志。菲洛斯。 28,第1期,3-135页(2019年).MSC公司:03B45号 03B60号 PDF格式BibTeX公司 XML格式引用 \textit{L.Humberstone},日志。日志。菲洛斯。28,第1号,第3--135号(2019年;Zbl 1477.03052) 全文: 内政部
安德烈·维希·涅夫斯基 广义蕴涵。 (英语) Zbl 1417.03221号 日志。日志。菲洛斯。 26,第3号,321-356(2017).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{A.Wi-si niewski},日志。日志。菲洛斯。26,第3号,321--356(2017;Zbl 1417.03221) 全文: 内政部