How to represent opaque sentences in first order logic

被引：0
|
作者：
机构：
来源：
| 1600年 / Morgan Kaufmann Publ Inc, San Mateo, CA, USA卷 / 01期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] The First-Order Logic of Hyperproperties
    Finkbeiner, Bernd
    Zimmermann, Martin
    34TH SYMPOSIUM ON THEORETICAL ASPECTS OF COMPUTER SCIENCE (STACS 2017), 2017, 66
  • [32] A First-Order Logic with Frames
    Murali, Adithya
    Pena, Lucas
    Loeding, Christof
    Madhusudan, P.
    PROGRAMMING LANGUAGES AND SYSTEMS ( ESOP 2020): 29TH EUROPEAN SYMPOSIUM ON PROGRAMMING, 2020, 12075 : 515 - 543
  • [33] Extended First-Order Logic
    Brown, Chad E.
    Smolka, Gert
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2009, 5674 : 164 - 179
  • [34] First-Order Logic of Change
    Swietorzecka, Kordula
    LOGIC JOURNAL OF THE IGPL, 2024, 32 (01) : 35 - 46
  • [35] The Expressibility of First Order Dynamic Logic
    付斌
    李琼章
    Journal of Computer Science and Technology, 1992, (03) : 268 - 273
  • [36] Coherentisation of First-Order Logic
    Dyckhoff, Roy
    AUTOMATED REASONING WITH ANALYTIC TABLEAUX AND RELATED METHODS (TABLEAUX 2015), 2015, 9323
  • [37] FIRST-ORDER LOGIC OF TERMS
    SVENONIU.L
    JOURNAL OF SYMBOLIC LOGIC, 1973, 38 (02) : 177 - 188
  • [38] First-order logic: An introduction
    Adler, JE
    JOURNAL OF PHILOSOPHY, 2000, 97 (10): : 577 - 580
  • [39] Diagrammatic Algebra of First Order Logic
    Bonchi, Filippo
    Di Giorgio, Alessandro
    Haydon, Nathan
    Sobocinski, Pawel
    PROCEEDINGS OF THE 39TH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE, LICS 2024, 2024,
  • [40] An adequate first order interval logic
    Zhou, CC
    Hansen, MR
    COMPOSITIONALITY: THE SIGNIFICANT DIFFERENCE, 1998, 1536 : 584 - 608
12345