Kupke, et al.. Reasoning with Global Assumptions in Arithmetic Modal Logics. Springer International Publishing, 2015, doi:10.1007/978-3-319-22177-9_28.