deontic-logic

Philosophy

Logic & Formal Reasoning

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