LIRa seminar on 2020-10-29 by Erich Grädel
From Sonja Smets
Logic and Interactive Rationality – Seminar of the Amsterdam Dynamics Group (uva.nl). The LIRa seminar hosts a series of research talks organized by the Amsterdam Dynamics Group at the Institute for Logic, Language and Computation, University of Amsterdam. We focus on the logical, philosophical and computational aspects of agency, rational interaction and social-informational dynamics. Core interests include Logics, Formal Epistemology, Decision & Game Theory, Formal Learning Theory, Social Choice Theory, AI, Computer Science, Quantum Information Theory, Philosophy of Science and Philosophy of Language.