Belief attitudes, fine-grained hyperintensionality and type-theoretic logic - Raclavský, Jiří, 1974- (Studies in logic (College Publications) ;, 2020)