Matches in SemOpenAlex for { <https://semopenalex.org/work/W2352456966> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2352456966 abstract "The multi-modal logic,as an extension to the modal logic,is the base on which themodal logic is able to extend to the tense logic and dynamic logic. The medium logic is a newlogic system and has been developed rapidly since it was set up. Some systems have been developed such as the medium modal logic in the areas of the mathematical logic and computer science. As the modal logic may be extended to the tense logic and dynamic logic based on themedium logic,in this paper,a normal system of multi--modal logic based on the medium logic(named MMK) has been put forward. The formalizations and semantics of MMK have beendiscussed; its soundness and completeness were proved. Furthermore, a system of tense logicbased on the medium logic(named MT),of which the soundness and completeness were alsodiscussed, was presented.Finally, the relations between MMK and the classical multi-modallogic,and MT and classical tense logic were analysed." @default.
- W2352456966 created "2016-06-24" @default.
- W2352456966 creator A5079831091 @default.
- W2352456966 date "1996-01-01" @default.
- W2352456966 modified "2023-09-26" @default.
- W2352456966 title "A System of Multi-Modal Logic Based on Medium Logic" @default.
- W2352456966 hasPublicationYear "1996" @default.
- W2352456966 type Work @default.
- W2352456966 sameAs 2352456966 @default.
- W2352456966 citedByCount "0" @default.
- W2352456966 crossrefType "journal-article" @default.
- W2352456966 hasAuthorship W2352456966A5079831091 @default.
- W2352456966 hasConcept C101874905 @default.
- W2352456966 hasConcept C102993220 @default.
- W2352456966 hasConcept C114092440 @default.
- W2352456966 hasConcept C11413529 @default.
- W2352456966 hasConcept C119599485 @default.
- W2352456966 hasConcept C124047733 @default.
- W2352456966 hasConcept C127413603 @default.
- W2352456966 hasConcept C165801399 @default.
- W2352456966 hasConcept C169896238 @default.
- W2352456966 hasConcept C172385210 @default.
- W2352456966 hasConcept C188027245 @default.
- W2352456966 hasConcept C192562407 @default.
- W2352456966 hasConcept C19689857 @default.
- W2352456966 hasConcept C199360897 @default.
- W2352456966 hasConcept C203659156 @default.
- W2352456966 hasConcept C27508121 @default.
- W2352456966 hasConcept C2777796570 @default.
- W2352456966 hasConcept C33203268 @default.
- W2352456966 hasConcept C33923547 @default.
- W2352456966 hasConcept C3845977 @default.
- W2352456966 hasConcept C39920170 @default.
- W2352456966 hasConcept C41008148 @default.
- W2352456966 hasConcept C71139939 @default.
- W2352456966 hasConceptScore W2352456966C101874905 @default.
- W2352456966 hasConceptScore W2352456966C102993220 @default.
- W2352456966 hasConceptScore W2352456966C114092440 @default.
- W2352456966 hasConceptScore W2352456966C11413529 @default.
- W2352456966 hasConceptScore W2352456966C119599485 @default.
- W2352456966 hasConceptScore W2352456966C124047733 @default.
- W2352456966 hasConceptScore W2352456966C127413603 @default.
- W2352456966 hasConceptScore W2352456966C165801399 @default.
- W2352456966 hasConceptScore W2352456966C169896238 @default.
- W2352456966 hasConceptScore W2352456966C172385210 @default.
- W2352456966 hasConceptScore W2352456966C188027245 @default.
- W2352456966 hasConceptScore W2352456966C192562407 @default.
- W2352456966 hasConceptScore W2352456966C19689857 @default.
- W2352456966 hasConceptScore W2352456966C199360897 @default.
- W2352456966 hasConceptScore W2352456966C203659156 @default.
- W2352456966 hasConceptScore W2352456966C27508121 @default.
- W2352456966 hasConceptScore W2352456966C2777796570 @default.
- W2352456966 hasConceptScore W2352456966C33203268 @default.
- W2352456966 hasConceptScore W2352456966C33923547 @default.
- W2352456966 hasConceptScore W2352456966C3845977 @default.
- W2352456966 hasConceptScore W2352456966C39920170 @default.
- W2352456966 hasConceptScore W2352456966C41008148 @default.
- W2352456966 hasConceptScore W2352456966C71139939 @default.
- W2352456966 hasLocation W23524569661 @default.
- W2352456966 hasOpenAccess W2352456966 @default.
- W2352456966 hasPrimaryLocation W23524569661 @default.
- W2352456966 hasRelatedWork W1019745019 @default.
- W2352456966 hasRelatedWork W1030065060 @default.
- W2352456966 hasRelatedWork W1535294925 @default.
- W2352456966 hasRelatedWork W1569963300 @default.
- W2352456966 hasRelatedWork W1597481850 @default.
- W2352456966 hasRelatedWork W1929503196 @default.
- W2352456966 hasRelatedWork W2113316597 @default.
- W2352456966 hasRelatedWork W2125369646 @default.
- W2352456966 hasRelatedWork W2154827801 @default.
- W2352456966 hasRelatedWork W2378496094 @default.
- W2352456966 hasRelatedWork W2379916687 @default.
- W2352456966 hasRelatedWork W2383286503 @default.
- W2352456966 hasRelatedWork W2405885440 @default.
- W2352456966 hasRelatedWork W2481377324 @default.
- W2352456966 hasRelatedWork W2491298987 @default.
- W2352456966 hasRelatedWork W2496842025 @default.
- W2352456966 hasRelatedWork W2517688524 @default.
- W2352456966 hasRelatedWork W290319452 @default.
- W2352456966 hasRelatedWork W586430483 @default.
- W2352456966 hasRelatedWork W997333260 @default.
- W2352456966 isParatext "false" @default.
- W2352456966 isRetracted "false" @default.
- W2352456966 magId "2352456966" @default.
- W2352456966 workType "article" @default.