布尔和赛格贝格论模态逻辑的三大传统

布尔和赛格贝格采用理性重组模式重建现代模态逻辑发展历史,把现代模态逻辑的起源归结为三个传统:句法学传统、代数传统和语义学传统,并对这三大传统的发展脉络和各自的技术风格给予了清晰刻画。文中凸显的主题是,技术发展是当代模态逻辑理论嬗变的主要动因,正是这些如同酵母般的技术要素,使模态逻辑走上永无止息的自我更新之路。