This coming Wednesday, July 6 at 4pm CET, we will have in the Logica Universalis Webinar the talk "Unification in Pretabular Extensions of S4" by Stepan I. Bashmakov Abstract: L.L. Maksimova and L. Esakia, V. Meskhi showed that the modal logic S4 has exactly 5 pretabular extensions PM1–PM5. In this paper, we study the problem of unification for all given logics. We showed that PM2 and PM3 have finitary, and PM1, PM4, PM5 have unitary types of unification. Complete sets of unifiers in logics are described. https://link.springer.com/article/10.1007/s11787-021-00287-0
To attend, register here: https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gTR_N Jean-Yves Beziau Organizer of the Logica Universalis Webinar Editor-in-Chief Logica Universalis http://www.jyb-logic.org -- LOGICA-L Lista acadêmica brasileira dos profissionais e estudantes da área de Lógica <logica-l@dimap.ufrn.br> --- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para logica-l+unsubscr...@dimap.ufrn.br. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAF2zFLDV_N%3Dk9ug7cw4sVEMERfNbwYBJh%2B3EdfnhKhMWAUL%3DJA%40mail.gmail.com.
