A local models semantics for propositional attitudes