Model Checking Knowledge and Time via Local Propositions: Cooperative and Adversarial Systems