A logic of higher-order preferences

被引：2
|
作者：
Jiang, Junli [1 ]
Naumov, Pavel [2 ]
机构：
[1] Southwest Univ, Inst Log & Intelligence, Chongqing, Peoples R China
[2] Univ Southampton, Southampton, England
来源：
SYNTHESE | 2024年 / 203卷 / 06期
关键词：
Egocentric; Higher-order preferences; Axiomatisation; Completeness;
D O I：
10.1007/s11229-024-04655-3
中图分类号：
N09 [自然科学史]; B [哲学、宗教];
学科分类号：
01 ; 0101 ; 010108 ; 060207 ; 060305 ; 0712 ;
摘要：
If an agent prefers one kind of agents to the other agents, then the agent has first-order preferences. If the agent prefers agents with one kind of preferences to the other agents, then the agent has second-order preferences. The article proposes a sound, complete, and decidable logical system capable of expressing higher-order preferences.
引用
收藏
页数：26
相关论文
共 50 条
  • [31] Refinement of higher-order logic programs
    Colvin, R
    Hayes, I
    Hemer, D
    Strooper, P
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2003, 2664 : 126 - 143
  • [32] Higher-Order Logic and Disquotational Truth
    Picollo, Lavinia
    Schindler, Thomas
    JOURNAL OF PHILOSOPHICAL LOGIC, 2022, 51 (04) : 879 - 918
  • [33] Tabling for higher-order logic programming
    Pientka, B
    AUTOMATED DEDUCTION - CADE-20, PROCEEDINGS, 2005, 3632 : 54 - 68
  • [34] Functional procedures in higher-order logic
    Laibinis, L
    von Wright, J
    THEOREM PROVING IN HIGHER ORDER LOGICS, PROCEEDINGS, 2000, 1869 : 372 - 387
  • [35] Higher-order transformation of logic programs
    Seres, S
    Spivey, M
    LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION, 2001, 2042 : 57 - 68
  • [36] COMPACT FRAGMENT OF HIGHER-ORDER LOGIC
    MALITZ, J
    RUBIN, M
    JOURNAL OF SYMBOLIC LOGIC, 1981, 46 (01) : 190 - 190
  • [37] A PROBABILISTIC HIGHER-ORDER FIXPOINT LOGIC
    Mitani, Yo
    Kobayashi, Naoki
    Tsukada, Takeshi
    LOGICAL METHODS IN COMPUTER SCIENCE, 2021, 17 (04)
  • [38] Higher-Order Logic and Disquotational Truth
    Lavinia Picollo
    Thomas Schindler
    Journal of Philosophical Logic, 2022, 51 : 879 - 918
  • [39] AN EQUATIONAL PRESENTATION OF HIGHER-ORDER LOGIC
    COQUAND, T
    EHRHARD, T
    LECTURE NOTES IN COMPUTER SCIENCE, 1987, 283 : 40 - 56
  • [40] A relational logic for higher-Order programs
    Aguirre A.
    Barthe G.
    Gaboardi M.
    Garg D.
    Strub P.-Y.
    2017, Association for Computing Machinery (01)
12345