Method to construct consistent theory in modal logic S5
LI Bijing
Computer Engineering and Applications . 2014, (20): 20 -23 .