%0 Journal Article
%T A Definition Framework of Spatial Logic and Decidability<br>空间逻辑的一个定义框架及其可判定性
%A YAN Feng
%A CHEN Tao-Lue
%A HAN Ting-Ting
%A LU Jian
%A <br>颜锋
%A 陈韬略
%A 韩婷婷
%A 吕建
%J 计算机科学
%D 2006
%I 
%X 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.
%K Mobile computation
%K Distributed computing
%K Spatial logic
%K Decidability
%K Definition framework<br>移动计算
%K 分布式计算
%K 空间逻辑
%K 可判定性
%K 定义框架
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=89B01A8BF911DF4E&yid=37904DC365DD7266&vid=27746BCEEE58E9DC&iid=B31275AF3241DB2D&sid=DF92D298D3FF1E6E&eid=F3090AE9B60B7ED1&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=22