Modal logic: a unified approach to category theory and model theory
I shall give the third in a series of talks on the unification of different parts of mathematics at the University of Gdańsk. The talk shall take place on 13 December 2022 at 10:15 local time in room 130, Faculty of Mathematics, Physics, and Informatics. Abstract. One of the central incentives of the rise of […]
Read More Modal logic: a unified approach to category theory and model theory