When do types induce the same belief hierarchy?
Type structures are a simple device to describe higher-order beliefs. However, how can we check whether two types generate the same belief hierarchy? This paper generalizes the concept of a type morphism and shows that one type structure is contained in another if and only if the former can be mappe...
| Những tác giả chính: | , |
|---|---|
| Định dạng: | Journal article |
| Được phát hành: |
MDPI
2016
|