作者	李小五编著
出版社
出版时间	2005-09-01

特色：

本书分为“公理化系统”、“强推演、一致性与极大一致性”、“关系语义与可靠性定理”、“典范模型与完全性定理”等四章，介绍了句子层次上(命题型的)模态逻辑*基本的内容。