可知性是知識論中的一個重要概念，“是否任何事實都可知？”這一問題貫穿了知識論發展的歷史。費奇指出，從一個看起來非常自然的原則“所有真理都可能被知道”出發，我們能在邏輯中推導出一個不可接受的結論：“所有真理都已經被知道”。這一現象被稱為費奇的可知性悖論。現代知識論對于可知性問題的探討主要圍繞著悖論產生的原因、對悖論的解決方案以及為可知性給出更恰當的形式刻畫而展開。其中，一個較為主流的對可知性的形式刻畫是用動態的方法把可知性解釋為主體在某個公開宣告之后知道。這一思想深刻地影響了后面包括任意公開宣告邏輯（APAL）等一系列可知性邏輯的發展。
講座將介紹一類基于“知道如何”的可知性邏輯——HAPAL，它從內在主義的視角出發，以問題作為主體獲取知識的途徑。在HAPAL中，可知性被刻畫為主體知道如何通過提問并獲得正確的答案以獲取知識。與此前APAL刻畫的可知性不同，在HAPAL中主體并不總能在某個公開宣告之后就知道一個命題是否為真，而是需要根據命題的具體形式，調整提問的方式才能最終知道這個命題是否為真。從邏輯上看，HAPAL是“知道如何”邏輯和APAL的自然結合，HAPAL語言中的初始模態算子也可以被視為此前的“知道如何”邏輯中的“知道如何”算子，在語義上它們擁有同樣的?K打包結構。在這一語義定義下，HAPAL本質性地有別于APAL及其現有的各種邏輯變體。我將從表達力、緊致性、有窮公理化和可判定性等幾個方面介紹和展示HAPAL一些特別的邏輯性質。