论文部分内容阅读
量词模态逻辑的代数语义学Ⅳ,下──关于含Barcan公式的非正规模态系统情形
【机 构】
:
中国科技大学研究生院美国IBM公司
【出 处】
:
哲学研究
【发表日期】
:
1999年3期
其他文献