THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES

被引：0
|
作者：
Hodkinson, Ian [1 ]
机构：
[1] Univ London Imperial Coll Sci Technol & Med, Dept Comp, London SW7 2AZ, England
来源：
REVIEW OF SYMBOLIC LOGIC | 2010年 / 3卷 / 02期
关键词：
INVARIANT FORMULAS; PERSISTENT; COMPLEXITY;
D O I：
10.1017/S1755020309990402
中图分类号：
O29 [应用数学];
学科分类号：
070104 ;
摘要：
We show that the bounded fragment of first-order logic and the hybrid language with 'downarrow' and 'at' operators are equally expressive even with polyadic modalities, but that their 'positive' fragments are equally expressive only for unary modalities.
引用
收藏
页码：279 / 286
页数：8
相关论文
共 50 条
  • [31] BOUNDED PROPERTIES IN MODAL LOGIC
    SCHUMM, GF
    ZEITSCHRIFT FUR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK, 1981, 27 (03): : 197 - 200
  • [32] Bounded Nondeterminism of Logic Programs
    Dino Pedreschi
    Salvatore Ruggieri
    Annals of Mathematics and Artificial Intelligence, 2004, 42 : 313 - 343
  • [33] BOUNDED ARITHMETIC IN FREE LOGIC
    Yamagata, Yoriyuki
    LOGICAL METHODS IN COMPUTER SCIENCE, 2012, 8 (03)
  • [34] Default Logic and Bounded Treewidth
    Fichte, Johannes K.
    Hecher, Markus
    Schindler, Irina
    LANGUAGE AND AUTOMATA THEORY AND APPLICATIONS (LATA 2018), 2018, 10792 : 130 - 142
  • [35] ON THE PROVABILITY LOGIC OF BOUNDED ARITHMETIC
    BERARDUCCI, A
    VERBRUGGE, R
    ANNALS OF PURE AND APPLIED LOGIC, 1993, 61 (1-2) : 75 - 93
  • [36] BOUNDED LINEAR LOGIC, REVISITED
    Dal Lago, Ugo
    Hofmann, Martin
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04)
  • [37] Bounded Linear Logic, Revisited
    Dal Lago, Ugo
    Hofmann, Martin
    TYPED LAMBDA CALCULI AND APPLICATIONS, PROCEEDINGS, 2009, 5608 : 80 - +
  • [38] Bounded nondeterminism of logic programs
    Pedreschi, D
    Ruggieri, S
    ANNALS OF MATHEMATICS AND ARTIFICIAL INTELLIGENCE, 2004, 42 (04) : 313 - 343
  • [39] Bounded nondeterminism of logic programs
    Pedreschi, D
    Ruggieri, S
    LOGIC PROGRAMMING: PROCEEDINGS OF THE 1999 INTERNATIONAL CONFERENCE ON LOGIC PROGRAMMING, 1999, : 350 - 364
  • [40] Reasoning with Levels of Modalities in BDI Logic
    Blee, Jeff
    Billington, David
    Sattar, Abdul
    AGENT COMPUTING AND MULTI-AGENT SYSTEMS, 2009, 5044 : 410 - 415
12345