Seminars: D. S. Shamkanov, On the proof theory of modal logic extended with the least fixed-point operator

Seminars

RUS ENG

JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website

"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
November 18, 2014 18:30–20:05, Moscow, Steklov Mathematical Institute

On the proof theory of modal logic extended with the least fixed-point operator

D. S. Shamkanov

Number of views:
This page:	154