摘要：本論文針對王彥晶提出的“知道如何”的模態(tài)算子提出了一種新的語義。與原來的語義相比，我們的語義比較弱但是卻更容易實現(xiàn)。根據(jù)該語義，主體知道如何從狀態(tài)到達(dá)狀態(tài)?當(dāng)且僅當(dāng)主體有一個有窮的線性動作系列使得執(zhí)行該動作系列停止后的狀態(tài)即是目的狀態(tài)。這種弱化的新語義導(dǎo)致了一種弱化的邏輯。原來邏輯系統(tǒng)里面的組合公理在我們的新語義下不再有效。我們也給出了該邏輯的一個公理系統(tǒng)并證明了其可靠性和完全性。同時，我們也證明了該邏輯具有可判定性。