暂态逻辑相关论文