Prof. Dr. Jaakko Hintikka: Independence-friendly Logic as a Medium of Information Representation and Reasoning about Knowledge

Lecture