temporal-logic

Philosophy

Logic & Formal Reasoning

• Logic of Time, Knowledge and ObligationKripkestyle worlds and arrows are useful because the word possible can mean different things.