@INPROCEEDINGS { Rsds3802,
author = {Banerjee, Mohua}, 
title = {Rough Predicate Logics and a New System}, 
booktitle = {Soft Computing}, 
conference = {International Workshop on Rough Sets and Soft Computing}, 
pages = {48--50}, 
publisher = {The Society for Computer Simulation}, 
address = {San Diego, U.S.A.}, 
month = {November}, 
year = 1994, 
editor = {Lin, Tsau Young and Wildberger, A.M.}, 
isbn = {1-56555-077-3}, 
abstract = {A rough predicate system L, which is deemed to be an improvement over some other systems extant in literature, is proposed. A 'rough consequence' relation is introduced to enhance L and notions of 'rough satisfaction', 'rough truth', 'rough validity' and 'rough consistency' are studied in this context.}, 
keywords = {rough set, modal logic, }, 
}