具有相对可达性的Kripke模型

Kripke models with relative accessibility

Decision Support Systems · 1986
被引 0
ABS 3
数理逻辑理论计算机科学模型检测
阅读原文 ↗