1. Classical and contemporary models of indeterministic temporal logic: the approach of semantical compatibilism