Logic for reasoning about knowledge: Ewa Orlowska Institute of Computer Science, Polish Academy of Sciences, Warsaw, October 1986

作者:

摘要

论文关键词:

论文评审过程:Available online 19 May 2003.

论文官网地址:https://doi.org/10.1016/0167-9236(87)90130-8