На 26 ноември 2021 г. (петък) от 13:00 часа ще се проведе дистанционно заседание на семинара по „Алгебра и логика”.

Доклад на тема

On a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of frames

ще изнесе Петър Илиев (ИФС-БАН и ИМИ-БАН).

Абстракт. We elaborate on semantically labeled syntax trees, which provide a method of proving the non-existence of modal formulae satisfying certain syntactic properties and defining a given class of either models or frames, and use them to show that there are classes of Kripke frames that are definable by both non-Sahlqvist and Sahlqvist formulae but the latter require more propositional variables.

The talk is based on the following articles.

P. Iliev. On a method of proving the non-existence of modal formulae
satisfying certain syntactic properties and defining a given class of frames (submitted).

P. Balbiani, D. Fernandez-Duque, A. Herzig, and P. Iliev. Frame validity Games and Lower Bounds on the Complexity of Modal Axioms. Logic Journal of the IGPL (2020).

Семинарът ще се проведе посредством платформата Zoom и всеки желаещ може да се присъедини като последва линка:

https://us02web.zoom.us/j/85137375021?pwd=RE5QczdFTE1xL1R6MnI2b1lkcGczQT09

Topic: Онлайн семинар на секция “Алгебра и логика”
Time: Nov 26, 2021 01:00 PM Sofia
Meeting ID: 851 3737 5021
Passcode: 035647

От секция „Алгебра и логика” на ИМИ – БАН
http://www.math.bas.bg/algebra/seminarAiL/
============================== =====================