Matches in SemOpenAlex for { <https://semopenalex.org/work/W2358975963> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2358975963 abstract "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." @default.
- W2358975963 created "2016-06-24" @default.
- W2358975963 creator A5058471307 @default.
- W2358975963 date "2013-01-01" @default.
- W2358975963 modified "2023-09-28" @default.
- W2358975963 title "Research on Applications of Modern Modal Logic in Computer Science" @default.
- W2358975963 hasPublicationYear "2013" @default.
- W2358975963 type Work @default.
- W2358975963 sameAs 2358975963 @default.
- W2358975963 citedByCount "0" @default.
- W2358975963 crossrefType "journal-article" @default.
- W2358975963 hasAuthorship W2358975963A5058471307 @default.
- W2358975963 hasConcept C101874905 @default.
- W2358975963 hasConcept C102993220 @default.
- W2358975963 hasConcept C107247716 @default.
- W2358975963 hasConcept C11191006 @default.
- W2358975963 hasConcept C114092440 @default.
- W2358975963 hasConcept C121332964 @default.
- W2358975963 hasConcept C124047733 @default.
- W2358975963 hasConcept C165801399 @default.
- W2358975963 hasConcept C172385210 @default.
- W2358975963 hasConcept C185592680 @default.
- W2358975963 hasConcept C188027245 @default.
- W2358975963 hasConcept C199360897 @default.
- W2358975963 hasConcept C203659156 @default.
- W2358975963 hasConcept C27508121 @default.
- W2358975963 hasConcept C2777796570 @default.
- W2358975963 hasConcept C41008148 @default.
- W2358975963 hasConcept C62520636 @default.
- W2358975963 hasConcept C71139939 @default.
- W2358975963 hasConcept C80444323 @default.
- W2358975963 hasConceptScore W2358975963C101874905 @default.
- W2358975963 hasConceptScore W2358975963C102993220 @default.
- W2358975963 hasConceptScore W2358975963C107247716 @default.
- W2358975963 hasConceptScore W2358975963C11191006 @default.
- W2358975963 hasConceptScore W2358975963C114092440 @default.
- W2358975963 hasConceptScore W2358975963C121332964 @default.
- W2358975963 hasConceptScore W2358975963C124047733 @default.
- W2358975963 hasConceptScore W2358975963C165801399 @default.
- W2358975963 hasConceptScore W2358975963C172385210 @default.
- W2358975963 hasConceptScore W2358975963C185592680 @default.
- W2358975963 hasConceptScore W2358975963C188027245 @default.
- W2358975963 hasConceptScore W2358975963C199360897 @default.
- W2358975963 hasConceptScore W2358975963C203659156 @default.
- W2358975963 hasConceptScore W2358975963C27508121 @default.
- W2358975963 hasConceptScore W2358975963C2777796570 @default.
- W2358975963 hasConceptScore W2358975963C41008148 @default.
- W2358975963 hasConceptScore W2358975963C62520636 @default.
- W2358975963 hasConceptScore W2358975963C71139939 @default.
- W2358975963 hasConceptScore W2358975963C80444323 @default.
- W2358975963 hasLocation W23589759631 @default.
- W2358975963 hasOpenAccess W2358975963 @default.
- W2358975963 hasPrimaryLocation W23589759631 @default.
- W2358975963 hasRelatedWork W1486653873 @default.
- W2358975963 hasRelatedWork W1492647040 @default.
- W2358975963 hasRelatedWork W1501130453 @default.
- W2358975963 hasRelatedWork W1528547703 @default.
- W2358975963 hasRelatedWork W1603162778 @default.
- W2358975963 hasRelatedWork W1990991038 @default.
- W2358975963 hasRelatedWork W2001169692 @default.
- W2358975963 hasRelatedWork W2028312452 @default.
- W2358975963 hasRelatedWork W2052274472 @default.
- W2358975963 hasRelatedWork W2075022248 @default.
- W2358975963 hasRelatedWork W2168458616 @default.
- W2358975963 hasRelatedWork W2357100467 @default.
- W2358975963 hasRelatedWork W2360158287 @default.
- W2358975963 hasRelatedWork W2740929494 @default.
- W2358975963 hasRelatedWork W2744914989 @default.
- W2358975963 hasRelatedWork W2970758483 @default.
- W2358975963 hasRelatedWork W3000684503 @default.
- W2358975963 hasRelatedWork W3012339892 @default.
- W2358975963 hasRelatedWork W3128297486 @default.
- W2358975963 hasRelatedWork W33669792 @default.
- W2358975963 isParatext "false" @default.
- W2358975963 isRetracted "false" @default.
- W2358975963 magId "2358975963" @default.
- W2358975963 workType "article" @default.