You are not logged in | Log in
Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw Logo of the Faculty of Mathematics, Informatics, and Mechanics, University of Warsaw

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.

 

Careers

Website

© 2024 University of Warsaw. All rights reserved.