摘要：基于廣義謝弗豎這種新算子,本文構造了模態邏輯GL的模態表列和分析性模態公理系統。廣義謝弗豎是一種n元算子,為模態邏輯的表達式提供一種新記法,使分析性模態公理系統的陳述直接明了。由于謝弗豎是一種新算子,基于它的模態表列規則與通常的基于模態詞和聯結詞的表列規則有所不同。分析性模態公理系統中的內定理證明很簡單。因為分析性模態公理系統與模態表列之間存在某種對應關系,所以GL的分析性模態公理系統的完全性由GL的模態表列的完全性結果易證。GL的模態系統的完全性證明比較特殊,無法直接應用證明模態邏輯完全性的一般方法——典范模型方法,需要用一種過濾的方法挑出一些可能世界構造有窮模型。