How do we unify modal logic with topology or perhaps complex analysis/probability&random variables? Provided the principles of modal logic, is it possible to translate philosophy into computer language and create the real AI? Is it possible to apply modal logic to Shor's computational algorithm? How about quantum encryption? Is anyone doing any research on this field?