Logic and Model Checking by Imprecise Probabilistic Interpreted Systems