Initial work on modal logkc