跳至內容

模態一階邏輯

維基百科,自由的百科全書

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

參考

[編輯]