Research on Applications of Modern Modal Logic in Computer Science

Modern modal logic is set up on the basis of classical mathematical logic,and mainly includes narrow modal logic,deontic logic,epistemic logic,belief logic,temporal logic and dynamic logic.With the emergence of the Kripke semantic model,modal logic has become one of the most important branches of logics,and has been successfully applied to many fields such as mathematics,economics,social science,computer science and quantum mechanics.This paper introduced the main contents of modern modal logic,and mainly overviewed the following three application aspects of modern modal logic which include programming language,knowledge representation,multi-agent system,model checking,mechanical theorem proving and no monotonic logic.At the same time,this paper presented the research targets,the research advances and the development trend of modern modal logic.At last,the paper pointed out the problems in research on modern modal logic and suggested the trend of future development and research.