丹尼尔·罗内达尔 量化了时间的古希腊的布勒斯多斯泰克逻辑。 (英文) Zbl 1493.03003号 日志。Univers大学。 15,第1号,1-65(2021). 审核人:格里戈里·奥尔霍维科夫(波鸿) MSC公司:03B45号 03B42号 03B44号 PDF格式BibTeX公司 XML格式引用 \textit{D.Rönnedal},日志。Univers大学。15,编号1,1--65(2021;兹bl 1493.03003) 全文: 内政部
格列布·维克托洛维奇·卡尔波夫 宽恕是行动逻辑中的一种言语行为。 (俄语。英文摘要) Zbl 1509.03085号 日志。伊斯斯莱德。 26,第2号,9-38(2020).MSC公司:03B65号 PDF格式BibTeX公司 XML格式引用 \textit{G.V.Karpov},日志。伊斯斯莱德。26,编号2,9-38(2020;兹bl 1509.03085) 全文: 内政部
徐明 作为事件的操作。 (英文) Zbl 1272.03050号 J.菲洛斯。日志。 41,第4期,765-809(2012).MSC公司:03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu},J.Philos。日志。41,第4号,765--809(2012;Zbl 1272.03050) 全文: 内政部
斯特凡·沃尔夫 命题\(\text Q\)-逻辑。 (英文) Zbl 1011.03010号 J.菲洛斯。日志。 31,第5期,387-414(2002).MSC公司:03B45号 03B44号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{S.Wölfl},J.Philos。日志。31,第5号,387--414(2002;Zbl 1011.03010) 全文: 内政部
徐明 包含广义refref条件的stit逻辑的不紧凑性。 (英文) Zbl 0966.03021号 圣母院J.形式逻辑 39,第4期,485-506(1998年).MSC公司:03B45号 03A05号 PDF格式BibTeX公司 XML格式引用 \textit{M.Xu},圣母院J.形式逻辑39,No.4,485--506(1998;Zbl 0966.03021) 全文: 内政部
徐明 深思熟虑的公理。 (英文) Zbl 0917.03007号 J.菲洛斯。日志。 27,第5期,505-552(1998). 审核人:G.牧师(布里斯班) MSC公司:03A05号 03B45号 PDF格式BibTeX公司 XML格式引用 \发短信{M.Xu},J.Philos。日志。27,第5号,505--552(1998;Zbl 0917.03007) 全文: 内政部