模態一階邏輯

模態一階邏輯是指在經典一階邏輯中加進模態概念 。 實質上這和由經典命題邏輯構成模態命題的情形相同 。 模態一階邏輯也可以在模態命題邏輯中加進量詞而構成 。