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

Speaker(s)

Konrad Zdanowski

Affiliation

UKSW

Date

May 27, 2022, 12:15 p.m.

Information about the event

on-line, link sent by email

Seminar

Seminar Semantics, Logic, Verification and its Applications

---

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.

 

---