Nie jesteś zalogowany |
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.
