On the predictability of classical propositional logic - Finger, Marcelo; Reis, Poliana Magalhães (Information, 2013)