Prelegent: Konrad Zdanowski

Zostanie przedstawiona praca panów Rybakov i Shaktov, pt.

Undecidability of First-Order Modal and Intuitionistic Logics with
Two Variables and One Monadic Predicate Letter

pokazująca nierozstrzygalność logik modalnych i intuicjonistycznych z dwoma zmiennymi i jednym unarnym symbolem relacyjnym.

The paper

Undecidability of First-Order Modal and Intuitionistic Logics with
Two Variables and One Monadic Predicate Letter

by Rybakov and Shaktov will be presented with a proof of undecidability for modal and intuitionistic languages with two variables and one unary relation symbol.