様相論理(modal logic) logic 日常の物事は場面において真偽が変わる(e.g. エレベーターは3Fにある) □A: 必然的にA ¬□A: Aであることは必然的ではない □¬A: Aでないことは必然的 ¬□¬A=◊A: Aである可能性がある 様相論理論理体系 K 古典論理体系 LKに追加 □Γ⊢□AΓ⊢A