https://profilbaru.com/Modal_logic