Title: Några resultat i modal logik