A spatial modal logic with a location interpretation

被引：4
作者：
Kamide, N [1 ]
机构：
[1] Keio Univ, Dept Philosophy, Minoto Ku, Tokyo 1088345, Japan
来源：
MATHEMATICAL LOGIC QUARTERLY | 2005年 / 51卷 / 04期
关键词：
modal logic; Kripke semantics; spatial logic;
D O I：
10.1002/malq.200510001
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
A spatial modal logic (SML) is introduced as an extension of the modal logic S4 with the addition of certain spatial operators. A sound and complete Kripke semantics with a natural space (or location) interpretation is obtained for SML. The finite model property with respect to the semantics for SML and the cut-elimination theorem for a modified subsystem of SML are also presented.
引用
收藏
页码：331 / 341
页数：11
相关论文
共 15 条
  • [1] Reasoning about space: The modal way
    Aiello, M
    Van Benthem, J
    Bezhanishvili, G
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2003, 13 (06) : 889 - 920
  • [2] Aiello M., 2002, J APPL NONCLASSICAL, V12, P319
  • [3] ANDREKA H, IN PRESS NONEUCLIDEA
  • [4] Balbiani Philippe, 2002, J APPL NONCLASSICAL, V12, P365
  • [5] Multi-dimensional modal logic as a framework for spatio-temporal reasoning
    Bennett, B
    Cohn, AG
    Wolter, F
    Zakharyaschev, M
    [J]. APPLIED INTELLIGENCE, 2002, 17 (03) : 239 - 251
  • [6] Blackburn P., 2001, Cambridge Tracts in Theoretical Computer Science, V53
  • [7] A spatial logic for concurrency (part I)
    Caires, L
    Cardelli, L
    [J]. INFORMATION AND COMPUTATION, 2003, 186 (02) : 194 - 235
  • [8] Combining soft linear logic and spatio-temporal operators
    Kamide, N
    [J]. JOURNAL OF LOGIC AND COMPUTATION, 2004, 14 (05) : 625 - 650
  • [9] KAMIDE N, 2004, STUDIA LOGICA, V77, P355
  • [10] Distributed concurrent linear logic programming
    Kobayashi, N
    Shimizu, T
    Yonezawa, A
    [J]. THEORETICAL COMPUTER SCIENCE, 1999, 227 (1-2) : 185 - 220
12