Lev Beklemishev. REFLECTION ALGEBRAS FOR THEORIES OF ITERATED TRUTH PREDICATES

Follow the link Lev Beklemishev (National Research University Higher School of Economics) REFLECTION ALGEBRAS FOR THEORIES OF ITERATED TRUTH PREDICATES On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for L