Defining knowledge in terms of belief: The modal logic perspective