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 条
  • [41] Predicate and Relation Liftings for Coalgebras with Side Effects: An Application in Coalgebraic Modal Logic
    Beohar, Harsh
    Koenig, Barbara
    Kuepper, Sebastian
    Mika-Michalski, Christina
    COALGEBRAIC METHODS IN COMPUTER SCIENCE (CMCS 2022), 2022, 13225 : 1 - 22
  • [42] MODEL THEORY FOR MODAL PREDICATE CALCULI - PRELIMINARY REPORT
    BOWEN, KA
    NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1973, 20 (05): : A504 - A505
  • [43] Model checking and transitive-closure logic
    Immerman, N
    Vardi, MY
    COMPUTER AIDED VERIFICATION, 1997, 1254 : 291 - 302
  • [44] A predicate spatial logic and model checking for mobile processes
    Lin, HM
    THEORETICAL ASPECTS OF COMPUTING - ICTAC 2004, 2005, 3407 : 36 - 36
  • [45] Characterizing contrasimilarity through games, modal logic, and complexity
    Bisping, Benjamin
    Montanari, Luisa
    INFORMATION AND COMPUTATION, 2024, 300
  • [46] The complexity of one-agent refinement modal logic
    Bozzelli, Laura
    van Ditmarsch, Hans
    Pinchinat, Sophie
    THEORETICAL COMPUTER SCIENCE, 2015, 603 : 58 - 83
  • [47] A predicate calculus logic for the PKI trust model analysis
    El Bakkali, H
    Kaitouni, BI
    IEEE INTERNATIONAL SYMPOSIUM ON NETWORK COMPUTING AND APPLICATIONS, PROCEEDINGS, 2001, : 368 - 371
  • [48] Model theory of monadic predicate logic with the infinity quantifier
    Carreiro, Facundo
    Facchini, Alessandro
    Venema, Yde
    Zanasi, Fabio
    ARCHIVE FOR MATHEMATICAL LOGIC, 2022, 61 (3-4) : 465 - 502
  • [49] A logic predicate based automated trust negotiation model
    Liao, Zhensong
    Jin, Hai
    Zou, Deqing
    2007 SECOND INTERNATIONAL CONFERENCE IN COMMUNICATIONS AND NETWORKING IN CHINA, VOLS 1 AND 2, 2007, : 689 - 693
  • [50] Model theory of monadic predicate logic with the infinity quantifier
    Facundo Carreiro
    Alessandro Facchini
    Yde Venema
    Fabio Zanasi
    Archive for Mathematical Logic, 2022, 61 : 465 - 502
12345