No Inconsistencies in Fundamental First-Order Theories in Logic

被引：0
|
作者：
Friedman, Harvey
Marek, Victor
机构：
来源：
COMMUNICATIONS OF THE ACM | 2018年 / 61卷 / 10期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：6 / 6
页数：1
相关论文
共 50 条
  • [41] First-order classical modal logic
    Arló-Costa H.
    Pacuit E.
    Studia Logica, 2006, 84 (2) : 171 - 210
  • [42] First-Order da Costa Logic
    Graham Priest
    Studia Logica, 2011, 97 : 183 - 198
  • [43] A denotational semantics for first-order logic
    Apt, KR
    COMPUTATIONAL LOGIC - CL 2000, 2000, 1861 : 53 - 69
  • [44] On First-Order Logic and CPDA Graphs
    Christopher H. Broadbent
    Theory of Computing Systems, 2014, 55 : 771 - 832
  • [45] Combining Probability and First-Order Logic
    Leiva, Mario A.
    Garcia, Alejandro J.
    Shakarian, Paulo
    Simari, Gerardo I.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2021, (345): : 4 - 4
  • [46] Monitoring First-Order Interval Logic
    Havelund, Klaus
    Omer, Moran
    Peled, Doron
    SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM 2021), 2021, 13085 : 66 - 83
  • [47] Relating Z and first-order logic
    Martin, A
    FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1266 - 1280
  • [48] Rigid First-Order Hybrid Logic
    Blackburn, Patrick
    Martins, Manuel
    Manzano, Maria
    Huertas, Antonia
    LOGIC, LANGUAGE, INFORMATION, AND COMPUTATION (WOLLIC 2019), 2019, 11541 : 53 - 69
  • [49] GAME SEMANTICS FOR FIRST-ORDER LOGIC
    Laurent, Olivier
    LOGICAL METHODS IN COMPUTER SCIENCE, 2010, 6 (04) : 1 - 50
  • [50] Abductive equivalence in first-order logic
    Inoue, Katsumi
    Sakama, Chiaki
    LOGIC JOURNAL OF THE IGPL, 2006, 14 (02) : 333 - 346
12345