Provability Logics of Hierarchies - Amirhossein Akbar Tabatabai (2017)