模態一階邏輯

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