How to represent opaque sentences in first order logic

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] A First-order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 2023, 45 (02):
  • [42] Indistinguishability and first-order logic
    Jordan, Skip
    Zeugmann, Thomas
    THEORY AND APPLICATIONS OF MODELS OF COMPUTATION, PROCEEDINGS, 2008, 4978 : 94 - 104
  • [43] Compactness in first order Lukasiewicz logic
    Tavana, N. R.
    Pourmahdian, M.
    Didehvar, F.
    LOGIC JOURNAL OF THE IGPL, 2012, 20 (01) : 254 - 265
  • [44] Extensions of first order logic.
    Martínez-Vidal, C
    HISTORY AND PHILOSOPHY OF LOGIC, 1999, 20 (02) : 121 - 125
  • [45] UML as a first order transition logic
    Ekenberg, L
    Johannesson, P
    INFORMATION MODELLING AND KNOWLEDGE BASES XIV, 2003, 94 : 142 - 151
  • [46] COMPUTING WITH FIRST-ORDER LOGIC
    ABITEBOUL, S
    VIANU, V
    JOURNAL OF COMPUTER AND SYSTEM SCIENCES, 1995, 50 (02) : 309 - 335
  • [47] First-Order Logic with Adverbs
    Haze, Tristan Grotvedt
    LOGIC AND LOGICAL PHILOSOPHY, 2024, 33 (02) : 289 - 324
  • [48] FIRST-ORDER HOMOTOPICAL LOGIC
    Helfer, Joseph
    JOURNAL OF SYMBOLIC LOGIC, 2023,
  • [49] THE RELEVANT FRAGMENT OF FIRST ORDER LOGIC
    Badia, Guillermo
    REVIEW OF SYMBOLIC LOGIC, 2016, 9 (01): : 143 - 166
  • [50] GEOMETRISATION OF FIRST-ORDER LOGIC
    Dyckhoff, Roy
    Negri, Sara
    BULLETIN OF SYMBOLIC LOGIC, 2015, 21 (02) : 123 - 163
12345