Dissertation 

About 31 item dissertation in line with modal logic query results,the following is 1 to 50(Search took 0.037 seconds)

  1. Study of quantified modal logic and its applications in model checking,ShiHuiZuo/Shaanxi Normal University,0/1
  2. A Study on Theory of Essentialism from the Perspecitive of Possible World,BaiZuo/Yanshan University,0/38
  3. Conditional Relationship Category of Linguistic Expression,ZuoFuQi/Jilin University,0/173
  4. Research on Some Issues of Coalgebraic Modal Logic,WuWenZuo/Nanjing University of Aeronautics and Astronautics,0/16
  5. Some Generalizations and Applications of Domain Theory,LiGaoLin/Yangzhou University,0/20
  6. Uneven probability based on fuzzy modal logic,HuZuo/Yangzhou University,0/8
  7. The Strand Spaces Theory and Its Application to the Analysis of Security Protocols,LongShiGong/Guizhou University,3/375
  8. Modal logic and essentialism,ZhangLiFeng/Beijing University,3/784
  9. The Research on the Extension Rule Based Theorem Proving,WuZuo/Jilin University,4/151
  10. Generalized Lattice-Valued Modal Logic System and Resolution Automated Reasoning Based on Lattice Implication Algebra,LiWenJiang/Southwest Jiaotong University,2/140
  11. The Research on Several Issues of Clustering and Clustering Validity Indexes,LvZongLei/Nanjing University of Aeronautics and Astronautics,1/441
  12. Research on Behavioural Approximate Equivalence of Transition System,ZhangJinJin/Nanjing University of Aeronautics and Astronautics,0/9
  13. The Model of Description Logic and It’s Modal Expansion,YuQuan/Guangxi Normal University,0/117
  14. A VSK-t Logic-based Formal Model of Agent System,WuXiaoMin/Yunnan Normal University,2/47
  15. Temporal logic and its knowledge base and research framework,LiuDongNing/Guangdong University of Technology,6/242
  16. Multi- agent system model of consultation axiom system based on ability and thinking,LiJing/Yunnan Normal University,6/157
  17. Modality in English: A Systemic-Functional Approach,ChaiTongWen/Qufu Normal University,3/827
  18. Research on Uncertainty Planning Algorithms,LvShuai/Jilin University,0/192
  19. Discovering Knowledge from Information Systems and Fuzziness Based on Covering Generalized Rough Sets,WeiRong/Shandong University,0/87
  20. Modern Chinese Probabilistic Modality Logics Study,DengYuQiong/Guangxi Normal University,1/135
  21. A Formal Model of VSK-Agent System Combined with Mental States,WangXingChao/Yunnan Normal University,1/69
  22. Essentialism and the inevitability of the problem,TangYuBin/South China Normal University,0/161
  23. Classical Propositional Logic and Modal Propositional Logic,YaoCongJun/Henan University,0/169
  24. VSK-AF logic - based formal model of multi - agent system,SunZuo/Yunnan Normal University,5/76
  25. Research Theory and modal logic fuzzy rough,ZhaoLei/University of Electronic Science and Technology,1/205
  26. Study for Qualitative Spatial Logic Based on Direction Relation,MaSiJia/Jilin University,0/52
  27. Based on the program semantics Win32 PE virus detection method,GaoQing/Qingdao University,3/109
  28. Quinn and the development of modal logic,NieChengLi/Suzhou University,0/97
  29. The Discussion and Analysis of Kripke’s Essentialism,ChenHuiHui/Southwestern University,0/107
  30. Research on Process Calculus with Distance-Limited Communication,WuYanPing/Nanjing University of Aeronautics and Astronautics,1/20
  31. The Problem of Transworld Identity and Transworld Identification in the Possible World Semantics,XuZuoLi/East China Normal University,1/72

Total 1 Pages First Previous 1 Next Last

© 2012 www.DissertationTopic.Net  Mobile