混合空間邏輯是模態(tài)邏輯的兩個子領(lǐng)域——子集空間邏輯和混合邏輯——的交叉分支。該邏輯可用于刻畫知識以及認知努力的推理，并且比常見的認知邏輯具有更強的表達能力。王軼所著的《混合空間邏輯》系統(tǒng)化地介紹作者在混合空問邏輯這一領(lǐng)域的研究成果。閱讀本書zui好首先掌握命題邏輯和一階邏輯的基本知識，熟悉模態(tài)邏輯相關(guān)內(nèi)容的讀者更易于進入本書的核心內(nèi)容。本書可作為邏輯學(xué)、哲學(xué)、數(shù)學(xué)以及計算機等專業(yè)的教材，適合相關(guān)專業(yè)的老師和研究生參閱。
本書系統(tǒng)化地介紹作者在混合空間邏輯這一領(lǐng)域的研究成果�；旌峡臻g邏輯是模態(tài)邏輯的兩個子領(lǐng)域──子集空間邏輯和混合邏輯──的交叉分支, 該邏輯可用于進行知識以及認知努力的推理, 并且比常見的認知邏輯具有更強的刻畫能力。本書內(nèi)容相當(dāng)前沿性, 對邏輯學(xué)、數(shù)學(xué)及理論計算
|
