动态逻辑的双重性:程序化与结构化

摘要

随着计算机科学和信息科学的发展,形式化的现代逻辑逐渐与数学融为一体,难分彼此。动态逻辑不但像现代逻辑的其他分支一样,实现了符号化、公理化和形式化,而且还具有程序化特征和结构化特征。动态逻辑是程序化的多模态逻辑,具有明显的程序化特征。动态逻辑是在集合论和模态逻辑的基础上发展起来的多个程序逻辑的总称,集合论不但是动态逻辑的基本语言,而且也是定义数学结构的前提和产生数学结构的基础与载体,因此,动态逻辑具有明显的结构化特征。