How to represent opaque sentences in first order logic

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] First-Order Logic and First-Order Functions
    Freire, Rodrigo A.
    LOGICA UNIVERSALIS, 2015, 9 (03) : 281 - 329
  • [22] On first-order sentences without finite models
    Djordjevic, M
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (02) : 329 - 339
  • [23] Ups and Downs of First Order Sentences on Random Graphs
    Joel Spencer
    Gábor Tardos
    Combinatorica, 2000, 20 : 263 - 280
  • [24] Ups and downs of first order sentences on random graphs
    Spencer, J
    Tardos, G
    COMBINATORICA, 2000, 20 (02) : 263 - 280
  • [25] Separating classes of groups by first-order sentences
    Nies, A
    INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION, 2003, 13 (03) : 287 - 302
  • [26] Set Theory or Higher Order Logic to Represent Auction Concepts in Isabelle?
    Caminati, Marco B.
    Kerber, Manfred
    Lange, Christoph
    Rowat, Colin
    INTELLIGENT COMPUTER MATHEMATICS, CICM 2014, 2014, 8543 : 236 - 251
  • [27] From separation logic to first-order logic
    Calcagno, C
    Gardner, P
    Hague, M
    FOUNDATIONS OF SOFTWARE SCIENCE AND COMPUTATION STRUCTURES, PROCEEDINGS, 2005, 3441 : 395 - 409
  • [28] From First-Order Logic to Assertional Logic
    Zhou, Yi
    ARTIFICIAL GENERAL INTELLIGENCE: 10TH INTERNATIONAL CONFERENCE, AGI 2017, 2017, 10414 : 87 - 97
  • [29] ON THE LOGIC OF PERCEPTION SENTENCES
    SAARINEN, E
    SYNTHESE, 1983, 54 (01) : 115 - 128
  • [30] First order quantifiers in monadic second order logic
    Keisler, HJ
    Lotfallah, WB
    JOURNAL OF SYMBOLIC LOGIC, 2004, 69 (01) : 118 - 136
12345