條件句邏輯是哲學(xué)邏輯的一個(gè)重要分支，是對(duì)（狹義）模態(tài)邏輯的重要發(fā)展。它的主要目的在于刻畫(huà)關(guān)于虛擬條件句、直陳條件句和正常條件句的推理。本書(shū)系統(tǒng)闡述了條件句邏輯的基本概念、基本方法、重要成果及其恰當(dāng)性理論。為了便于讀者理解，本書(shū)對(duì)條件句邏輯的基本概念、方法以及表述重要成果所需的引理和定理給予詳細(xì)的證明、必要的分析和比較。本書(shū)可以作為邏輯學(xué)、哲學(xué)、人工智能以及相關(guān)領(lǐng)域的科研人員的參考書(shū)，也可作為上述領(lǐng)域研究生的教材或參考書(shū)。