A Definition Framework of Spatial Logic and Decidability
空间逻辑的一个定义框架及其可判定性

The introduction of spatial logics has been motivated by a recent shift of focus from monolithic concurrent systems towards distributed computing systems. The decidability of validity, satisfiability,and model checking for spa tial logics is an important issue which has been studied deeply. This paper is survey of these results. For this,a defini tion framework of spatial logic is proposed for constructing various logics and the decidability is investigated. And the crux of the matter that influences the decidability of spatial logics is revealed.