空间逻辑

来自术语
跳转至: 导航搜索

    对空间位置进行推理的一种模态逻辑。

英文名 spatial logics