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

Prelegent(ci)

Konrad Zdanowski

Afiliacja

UKSW

Termin

27 maja 2022 12:15

Informacje na temat wydarzenia

on-line, link sent by email

Seminarium

Semantyka, Logika I Weryfikacja Oraz Wiele Ich Ciekawych Aplikacji

---

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.

 

---