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