LUW Dec 17, 2025, Grigor Kolev (Bulgaria), winner of the World Logic Prize 2025

[jean-yves beziau]

The next session of the Logica Universalis Webinar will take place Wednesday December 17, 2025 at 4pm CET.

We will have a presentation by the winner of the World Logic Prize 2025, result of the third edition of the World Logic Prizes Contest that took place at the 8th UNILOG in Cusco, Peru, Dec 9-14, 2025, 

https://sites.google.com/view/unilog2025/logic-prizes/schedule-contest

All the winning papers country by country are presently open access on the website of the the journal Logica Universalis

https://link.springer.com/journal/11787

and also a paper about the history and organization of the prize:

https://link.springer.com/article/10.1007/s11787-025-00405-2

>-----------------------------------------------

Speaker: Grigor Kolev, Sofia University "St. Kliment Ohridski", Bulgaria

Title:Correspondence Problems for Classes of Postlinear Orders

Abstract: We examine the definability and correspondence problems between the first-order language of order and the propositional language when given intuitionistic Kripke semantics. Our results are concerning classes of frames for the superintuitionistic logic

 The frames for LC are those partial orders in which every principal upper cone is linearly ordered – we call such orders postlinear and denote by PL the class of all postlinear orders. We prove that the monadic second-order theory of the class of countable postlinear orders is decidable and consequently that the definability and correspondence problems modulo finitely axiomatizable subclasses of PL are decidable.

https://link.springer.com/article/10.1007/s11787-025-00392-4

Everyone is welcome to attend, register here

https://cassyni.com/events/HzBcwYxsN4mVm4WJpoudTj/

Jean-Yves Beziau,

Organizer of the World Logic Prize