S5_(模態邏輯)

在邏輯和哲學中 ， S5 是 Clarence Irving Lewis 和 Cooper Harold Langford 在他們1932年的書 《 Symbolic Logic 》 中提議的五個模態邏輯之一 。 它是正規模態邏輯和最古老的模態邏輯系統之一 。