LUW July 6: Unification in Pretabular Extensions of S4

jean-yves beziau beziau100 at
Mon Jul 4 12:51:25 EDT 2022

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.

To attend, register here:

Jean-Yves Beziau
Organizer of the Logica Universalis Webinar
Editor-in-Chief Logica Universalis
-------------- next part --------------
An HTML attachment was scrubbed...
URL: </pipermail/fom/attachments/20220704/d535d28c/attachment-0001.html>

More information about the FOM mailing list