Anna Ovchinnikova took part in the fourth summer school of Logic at Tsinghua University (Beijing, China)

From July 8 to 12, Anna Ovchinnikova, an intern researcher at IL LogLinFF, became a participant in the fourth summer school of logic at Tsinghua University (Beijing, China).

The university is one of the nine prestigious universities in China – the “C9 League”, similar to the “Ivy League” in the United States. The school was organized by the Joint Research Center for Logic in collaboration with the University of Amsterdam. Anna made a presentation “De re and de dicto knowledge in egocentric logic”, in which she formalized the two specified types of knowledge in two-dimensional semantics, proposed the appropriate axiomatics and demonstrated the philosophical applications of the developed formalization. Anna also took courses, completed assignments and participated in informal discussions at the center.