×
扎帕里泽，G.K。

广义弱可解释逻辑。 （英语） Zbl 0793.03065号

索布施。阿卡德。诺克·格鲁兹。 143，第3期，233-235（1991）.

引用于1文件

MSC公司：

35层03 相对一致性和解释
03B45 模态逻辑（包括规范逻辑）
30楼03号 一阶算法和片段

关键词：

可解释逻辑;一致性;命题模态逻辑OIL;有限Visser模型
PDF格式BibTeX公司 XML格式引用
\textit{G.K.Dzhaparidze}，Soobshch（索布什）。阿卡德。诺克·格鲁兹。143，第3号，233--235（1991；Zbl 0793.03065）