评估逻辑的一般语义|IEEE会议出版物|IEEE Xplore