The complexity of the modal predicate logic of "true in every transitive model of ZF"

被引：0
|
作者：
McGee, V [1 ]
机构：
[1] MIT, Dept Linguist & Philosophy, Cambridge, MA 02139 USA
来源：
JOURNAL OF SYMBOLIC LOGIC | 1997年 / 62卷 / 04期
关键词：
D O I：
10.2307/2275648
中图分类号：
O1 [数学];
学科分类号：
0701 ; 070101 ;
摘要：
[No abstract available]
引用
收藏
页码：1371 / 1378
页数：8
相关论文
共 50 条
  • [31] MODAL AND TENSE PREDICATE LOGIC - MODELS IN PRESHEAVES AND CATEGORICAL CONCEPTUALIZATION
    GHILARDI, S
    MELONI, GC
    LECTURE NOTES IN MATHEMATICS, 1988, 1348 : 130 - 142
  • [32] Complexity Results for Modal Dependence Logic
    Peter Lohmann
    Heribert Vollmer
    Studia Logica, 2013, 101 : 343 - 366
  • [33] Complexity Results for Modal Dependence Logic
    Lohmann, Peter
    Vollmer, Heribert
    STUDIA LOGICA, 2013, 101 (02) : 343 - 366
  • [34] Complexity Results for Modal Dependence Logic
    Lohmann, Peter
    Vollmer, Heribert
    COMPUTER SCIENCE LOGIC, 2010, 6247 : 411 - 425
  • [35] RETRACTION: A completeness theorem for continuous predicate modal logic (Retraction of 2017)
    Baratella, Stefano
    ARCHIVE FOR MATHEMATICAL LOGIC, 2017, 56 (7-8) : 1135 - 1135
  • [36] Complexity through Translations for Modal Logic with Recursion
    Aceto, Luca
    Achilleos, Antonis
    Anastasiadi, Elli
    Francalanza, Adrian
    Ingolfsdottir, Anna
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2022, (370): : 34 - 48
  • [37] CANONICAL MODELS AND THE COMPLEXITY OF MODAL TEAM LOGIC
    Lueck, Martin
    LOGICAL METHODS IN COMPUTER SCIENCE, 2019, 15 (02) : 2:1 - 2:45
  • [38] A Data Model and Predicate Logic for Trajectory Data
    Bornholdt, Johann
    Chondrogiannis, Theodoros
    Grossniklaus, Michael
    ADVANCES IN DATABASES AND INFORMATION SYSTEMS, ADBIS 2024, 2024, 14918 : 18 - 31
  • [39] THE RECURSION-THEORETIC COMPLEXITY OF THE SEMANTICS OF PREDICATE LOGIC AS A PROGRAMMING LANGUAGE
    BLAIR, HA
    INFORMATION AND CONTROL, 1982, 54 (1-2): : 25 - 47
  • [40] Characterizing EF over Infinite Trees and Modal Logic on Transitive Graphs
    ten Cate, Balder
    Facchini, Alessandro
    MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2011, 2011, 6907 : 290 - 302
12345