空间逻辑

（计算机科学技术名词）

空间逻辑（spatial logics）是2018年公布的计算机科学技术名词。出自《计算机科学技术名词》第三版。对空间位置进行推理的一类模态逻辑。