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]
@inproceedings{ZhangH05-10, title = {The Validities of PEP and Some Characteristic Formulas in Modal Logic}, author = {Hong Zhang and Huacan He}, year = {2005}, doi = {10.1007/0-387-29295-0_94}, url = {http://dx.doi.org/10.1007/0-387-29295-0_94}, researchr = {https://researchr.org/publication/ZhangH05-10}, cites = {0}, citedby = {0}, pages = {871-881}, booktitle = {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}, editor = {Daoliang Li and Baoji Wang}, volume = {187}, series = {IFIP}, publisher = {Springer}, isbn = {978-0-387-28318-0}, }