Relevant S is undecidable

Speaker(s)

Jan Kostrzon

Affiliation

MIMUW

Language of the talk

English

Date

Dec. 13, 2024, 12:15 p.m.

Room

room 5450

Title in Polish

Nierozstrzygalność relewantnej logiki S

Seminar

Seminar Logic and Type Theory

---

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 reduction from the tiling problem.

---

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ę redukcję z problemu kafelkowego.

---