停下即完成：“知道如何”的弱邏輯

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