To Join Zoom Meeting:
https://us02web.zoom.us/j/83872791265?pwd=VnlFREJqRndyL2c4OU84Y2VsWFJpdz09
Meeting ID: 838 7279 1265
Password: 954040
Abstract: Usually, in a logical proof a cycle, that is, using the statement we wish to prove as an argument towards proving it, is considered incorrect (circulus vitiosus). There is, however, a vividly developing field of study of circular proofs, where such cycles are allowed to be used, under certain conditions, without losing logical validity. In this talk, we survey several applications of this approach in non-classical logics, namely, modal logics and substructural logics with Kleene star.
Bio: Stepan Kuznetsov is a senior scientific researcher at Steklov Mathematical Institute, RAS. He currently offers courses in mathematical logic at MSU; and also courses in computer sciences at HSE University.
