董英東

模態邏輯是當代邏輯學一個主流分支，在眾多學術領域中展現了獨特的理論價值和應用潛力。模態邏輯是關於模態算子的形式系統，也是標準邏輯的片段，用於對大量的模態概念進行表徵和推理，這些模態概念是分佈式計算和智能行為以及與其相應的真值模式的基礎。其應用範圍涵蓋哲學的基礎研究、數學的形式化方法、語言學的理論構建、計算機科學的實踐應用，以及人工智能、信息科學和經濟博弈論等前沿學科。

本書在梳理模態邏輯的內涵和模態邏輯發展史的基礎上，深入探討高階模態邏輯的句法與語義理論，詳盡地闡釋了對應理論、量化模態邏輯以及高階模態邏輯等核心理論。同時，本書將模態邏輯看作一種強大而靈活的理論工具，運用其處理關係結構問題，為相關研究領域提供理論基礎，並指明了模態邏輯思想在完全性、可計算性與複雜性等理論研究領域的重要應用價值。



董英東，河南南陽人，博士，湘潭大學哲學與歷史文化學院教授，博士生導師。主要研究方向為邏輯哲學與哲學邏輯。目前為中國邏輯學會常務理事，中國邏輯學會歸納邏輯專業委員會副主任。出版了《動態信息的信念修正邏輯研究》《基於動態信息的邏輯研究》等著作。在《自然辯證法研究》等期刊上發表論文40余篇，包括《多主體自認知邏輯系統》《自然語言的本體論承諾》《可能世界語義下的本體論承諾》和《關於奎因本體論承諾的標準的批判》等。主持國家社科基金後期資助重點項目“高階模態邏輯研究”；主持完成國家社科基金後期資助項目“基於動態信息的邏輯研究”“動態信息的信念修正邏輯研究”。