邏輯語義學lo4 cap1 jyu5 ji6 hok6（英文：semantics of logic / formal semantics）係邏輯學同語義學嘅一門，研究點樣詮釋形式化（似邏輯語言嘅）自然語言。
