广义模态逻辑

暂缺《广义模态逻辑》作者简介

华东师范大学中青年学术著作出版基金会。本书系统地介绍了道义逻辑、模态逻辑和时态逻辑，对其中主要系统的一致性、可靠性和完全性作了严密而详尽的考察。