modal-logic

Philosophy

Logic & Formal Reasoning

• K, T, S4 and S5: Change the Arrows, Change the LogicThe previous entry gave us worlds and arrows.
• Logic of Time, Knowledge and ObligationKripkestyle worlds and arrows are useful because the word possible can mean different things.
• Modal Logic and Kripke WorldsPredicate logic lets us say surprisingly complicated things about the actual situation: