Stiri din tag-ul Modalitate şi incompletitudine. Logica modală ca logică de ordin superior