kripke-semantics

Philosophy

Logic & Formal Reasoning

• K, T, S4 and S5: Change the Arrows, Change the LogicThe previous entry gave us worlds and arrows.
• Modal Logic and Kripke WorldsPredicate logic lets us say surprisingly complicated things about the actual situation: