Reasoning with Justifications

Introduction; – Hintikka’s Logics of Knowledge; – Awareness Logic; – Explicit Justifications; – Internalization; – Information Hiding and Recovery; – Original Intent; – Realizations As First-Class Objects; – Generalizations; – The Goal.