Subject-oriented spatial logic - Wałęga, Przemysław Andrzej; Zawidzki, Michał (Information and computation, 2021)
Keywords: Knowledge representation; Modal logics; Spatial logics; Modal logics; Spatial logics; Knowledge representation