The next meeting of the Algebra and Logic Seminar will take place in hybrid form on December 5, 2025 (Friday) at 1:00 pm (UTC+3) in Room 578 of IMI-BAS and online via Zoom.
A talk on:
Classical Results in ITL with the Neighbourhood Modalities and Their Short Proofs Using Separation
will be delivered by
Dimitar Guelev (IMI-BAS).
Link to the zoom meeting:
Everybody is invited.
Algebra and Logic Department, IMI – BAS
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================