Kripke models with relative accessibility: Ewa Orlowska, ICS PAS Rep. 569, Institute of Computer Science, Polish Academy of Sciences, 00–901 Warsaw, Poland, 1985.

作者：

Highlights：

•

摘要

论文关键词：

论文评审过程：Available online 20 May 2003.

论文官网地址：https://doi.org/10.1016/0167-9236(86)90043-6