Logic and knowledge