Applications of Formal Philosophy - Urbaniak, Rafał; Payette, Gillman (Springer International Publishing, 2017)