Alechina, N., Bulling, N., Demri, S., & Logan, B. (2016, September). On the Complexity of Resource-Bounded Logics. Presented at 10th International Workshop on Reachability Problems (RP 2016), Aalborg, Denmark