Relevant S is undecidable

Prelegent(ci)

Jan Kostrzon

Afiliacja

MIMUW

Język referatu

angielski

Termin

13 grudnia 2024 12:15

Pokój

p. 5450

Tytuł w języku polskim

Nierozstrzygalność relewantnej logiki S

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

W swoim wystąpieniu zreferuję artykuł Sørena Knudstorpa pt. „Relevant S is undecidable” z LICS'24. Zacznę od podania definicji modeli półkratowych, następnie pokażę dowód, że logika S nie ma własności modelu skończonego (Finite Model Property). Na koniec streszczę procedurę interpretacji problemu kafelkowego.

---

I will present an article of Søren Knudstorp `Relevant S is undecidable' from LICS'24. The talk will start with a definition of semilattice models, then the lack of the finite model property will be shown for S. I will finish with a sketch of the interpretation procedure of the tiling problem.

---