@INPROCEEDINGS { Rsds2651,
author = {Cao, Cungen and Sui, Yuefei and Zhang, Zaiyue}, 
title = {Description of Fuzzy First-Order Modal Logic Based on Constant Domain Semantics}, 
booktitle = {Rough Sets, Fuzzy Sets, Data Mining, and Granular Computing, Part I}, 
series =  = {Lecture Notes in Artificial Intelligence}, 
volume = 3641, 
pages = {642--650}, 
publisher = {Springer-Verlag}, 
address = {Heidelberg - Berlin, Germany}, 
month = {August}, 
year = 2005, 
editor = {Slezak, Dominik and Wang, Guoying and Szczuka, Marcin and Duntsch, Ivo and Yao, Yiyu}, 
issn = {0302-9743}, 
isbn = {3-540-28653-5}, 
abstract = {As an extension of the traditional modal logic, the fuzzy first-order modal logic is discussed in this paper. A description of fuzzy first-order modal logic based on constant domain semantics is given, and a formal system of fuzzy reasoning based on the semantic information of models of first-order modal logic is established. It is also introduced in this paper the notion of the satisfiability of the reasoning system and some properties associated with the satisfiability are proved.}, 
keywords = {modal logic, fuzzy reasoning system, rough set, }, 
}