Ockhamist Branching Time (Temporal Logic)