<div dir="ltr"><div class="gmail_quote"><div dir="ltr" class="gmail_attr"><span style="color:rgb(85,85,85);font-family:Roboto,RobotoDraft,Helvetica,Arial,sans-serif;font-size:14px">This coming Wednesday, July 6 at 4pm CET, we will have in the Logica Universalis Webinar the talk</span><br></div><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div class="gmail_quote"><div dir="ltr"><div>"Unification in Pretabular Extensions of S4" by Stepan I. Bashmakov<br></div><div>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.</div><div><a href="https://link.springer.com/article/10.1007/s11787-021-00287-0" rel="noopener noreferrer" target="_blank">https://link.springer.com/article/10.1007/s11787-021-00287-0</a><br></div><div><br></div><div>To attend, register here:</div><div><a href="https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gTR_N" target="_blank">https://springer.zoom.us/meeting/register/tJMvdu6vrzMiHda_iDhjxw9vA9d7we9gTR_N</a><br></div><div><br></div><div>Jean-Yves Beziau</div><div>Organizer of the Logica Universalis Webinar</div><div>Editor-in-Chief Logica Universalis</div><div><a href="http://www.jyb-logic.org" target="_blank">http://www.jyb-logic.org</a><br></div><div><br></div><div><br></div><div><br></div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>
</div></div>