共 50 条
- [42] Further study of the fuzzy reasoning based on propositional modal logic ROUGH SETS AND KNOWLEDGE TECHNOLOGY, PROCEEDINGS, 2006, 4062 : 162 - 169
- [43] Prime Implicates and Prime Implicants: From Propositional to Modal Logic JOURNAL OF ARTIFICIAL INTELLIGENCE RESEARCH, 2009, 36 : 71 - 128
- [47] Proof systems for effectively propositional logic AUTOMATED REASONING, PROCEEDINGS, 2008, 5195 : 426 - 440
- [49] Lattice-valued modal propositional logic and its completeness Science China Information Sciences, 2010, 53 : 2230 - 2239