Of Cores: A Partial-Exploration Framework for Markov Decision Processes (Logical Methods in Computer Science, 2020)