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 条
  • [41] Separation logic for higher-order store
    Reus, Bernhard
    Schwinghammer, Jan
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2006, 4207 : 575 - 590
  • [42] A relational logic for higher-order programs
    Aguirre, Alejandro
    Barthe, Gilles
    Gaboardi, Marco
    Garg, Deepak
    Strub, Pierre-Yves
    JOURNAL OF FUNCTIONAL PROGRAMMING, 2019, 29
  • [43] Namespace logic: A logic for a reflective higher-order calculus
    Meredith, LG
    Radestock, M
    TRUSTWORTHY GLOBAL COMPUTING, 2005, 3705 : 353 - 369
  • [44] THE REFLECTION EFFECT FOR HIGHER-ORDER RISK PREFERENCES
    Bleichrodt, Han
    van Bruggen, Paul
    REVIEW OF ECONOMICS AND STATISTICS, 2022, 104 (04) : 705 - 717
  • [45] Higher-order risk preferences in social settings
    Heinrich, Timo
    Mayrhofer, Thomas
    EXPERIMENTAL ECONOMICS, 2018, 21 (02) : 434 - 456
  • [46] Higher-order risk preferences in social settings
    Timo Heinrich
    Thomas Mayrhofer
    Experimental Economics, 2018, 21 : 434 - 456
  • [47] Moment characterization of higher-order risk preferences
    Sebastian Ebert
    Theory and Decision, 2013, 74 : 267 - 284
  • [48] Higher-order preferences and the master rationality motive
    Stanovich, Keith E.
    THINKING & REASONING, 2008, 14 (01) : 111 - 127
  • [49] Moment characterization of higher-order risk preferences
    Ebert, Sebastian
    THEORY AND DECISION, 2013, 74 (02) : 267 - 284
  • [50] Partial recursive functions in Higher-Order Logic
    Krauss, Alexander
    AUTOMATED REASONING, PROCEEDINGS, 2006, 4130 : 589 - 603
12345