Higher-order decision theory
This paper investigates a surprising relationship between decision theory and proof theory. Using constructions originating in proof theory based on higher-order functions, so called quantifiers and selection functions, we show that these functionals model choice behavior of individual agents. Our f...
Main Authors: | Hedges, J, Oliva, P, Shprits, E, Winschel, V, Zahn, P |
---|---|
Format: | Conference item |
Published: |
Springer Verlag
2017
|
Similar Items
-
Selection equilibria of higher-order games
by: Hedges, J, et al.
Published: (2016) -
Compositional game theory
by: Ghani, N, et al.
Published: (2018) -
Intensional type theory for higher-order contingentism
by: Fritz, P
Published: (2015) -
On Rational Choice and the Representation of Decision Problems
by: Paulo Oliva, et al.
Published: (2021-11-01) -
Gravitational Decoupling in Higher Order Theories
by: Joseph Sultana
Published: (2021-08-01)