#### Filter Results:

- Full text PDF available (0)

#### Publication Type

#### Co-author

#### Journals and Conferences

Learn More

- GuoJun Wang, QiaoLin Duan
- Science in China Series F: Information Sciences
- 2009

The theory of (n) truth degrees of formulas is proposed in modal logic for the first time. A consistency theorem is obtained which says that the (n) truth degree of a modality-free formula equals the truth degree of the formula in two-valued propositional logic. Variations of (n) truth degrees of formulas w.r.t. n in temporal logic is investigated.… (More)

- ‹
- 1
- ›