Font Size: a A A
Keyword [Modal logic]
Result: 1 - 14 | Page: 1 of 1
1. Generalized Lattice-Valued Modal Logic System And Resolution Automated Reasoning Based On Lattice Implication Algebra
2. A VSK-t Logic-based Formal Model Of Agent System
3. Discovering Knowledge From Information Systems And Fuzziness Based On Covering Generalized Rough Sets
4. The Model Of Description Logic And It's Modal Expansion
5. Fuzzy Rough Theory And Modal Logic
6. Equivalent Characterizations Of The Three Logical Algebra And Fuzzy Modal Logic
7. Some Generalizations And Applications Of Domain Theory
8. Research On Some Issues Of Coalgebraic Modal Logic
9. Fuzzy Modal Logic Based On Non-uniform Probability
10. Measurement Research And Its Application In Modal Logic Model Checking In
11. On Some Issues Of N-refinement Modal Logic
12. A modal logic for role-based access control within the HOL theorem prover
13. Effective completeness theorems for modal logics
14. Generalized Modal Logic And Resolution Automated Reasoning Based On Linguistic Truth-valued Lattice Implication Algebra
  <<First  <Prev  Next>  Last>>  Jump to