艾科·伊索达;下村达也 模态子框架逻辑的一些谓词扩张的Kripke不完全性,且没有有限嵌入性质。 (英语) Zbl 0965.03024号 牛市。第节。日志。,大学后勤部。 27,第4期,182-189(1998).MSC公司:03B45号 PDF格式BibTeX公司 XML格式引用 \textit{E.Isoda}和\textit{T.Shimura},公牛。第节。日志。,大学后勤部。27,第4号,182--189(1998;Zbl 0965.03024)
下村达也(编辑) 基于序列演算和克里普克语义的非经典逻辑研究。1997年7月9日至11日在日本京都京都大学数学科学研究所举行的研讨会论文集。 (英语、日语) 兹伯利0930.03004 RIMS Kokyuroku公司 1021,ii,205页(1997年).MSC公司:03-06 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura}(编辑),RIMS Kokyuroku 1021,ii,205~p.(1997;Zbl 0930.03004)
下村达也 关于中间谓词逻辑相对于Kripke语义的完备性。 (英语) Zbl 0817.03010号 牛市。第节。日志。,大学,Dep Log。 24,第1期,第41-45页(1995年).MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura},公牛。第节。日志。,大学后勤部。24,编号1,41-45(1995;Zbl 0817.03010)
下村达也;铃木,Nobu-Yuki 一些超直觉逻辑是等式理论的逻辑碎片。 (英语) Zbl 0799.03026号 牛市。第节。日志。,大学后勤部。 22,第3号,106-112(1993). 审核人:V.谢赫特曼(莫斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura}和\textit{N.Y.铃木},公牛。第节。日志。,大学后勤部。22,编号3,106--112(1993;Zbl 0799.03026)
下村达也 具有常数域公理和规范公式变体的一些中间谓词逻辑的Kripke完备性。 (英语) 兹比尔0772.03008 螺柱日志。 52,第1期,23-40(1993). 审核人:V.谢赫特曼(莫斯科) MSC公司:03B55号 PDF格式BibTeX公司 XML格式引用 \textit{T.Shimura},螺柱日志。52,编号1,23--40(1993;Zbl 0772.03008) 全文: 内政部