External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

The Validities of PEP and Some Characteristic Formulas in Modal Logic

Hong Zhang, Huacan He. The Validities of PEP and Some Characteristic Formulas in Modal Logic. In Daoliang Li, Baoji Wang, editors, Artificial Intelligence Applications and Innovations - IFIP TC12 WG12.5 - Second IFIP Conference on Artificial Intelligence Applications and Innovations (AIAI2005), September 7-9, 2005, Beijing, China. Volume 187 of IFIP, pages 871-881, Springer, 2005. [doi]

Abstract

Abstract is missing.

runs on