Видеотека: Pavel Razumnyy, Daniyar Shamkanov, Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

Видеотека

RUS ENG

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

Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
15 июня 2023 г. 16:30–17:00, Hybrid Format (MI RAS + Zoom)

Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs

Pavel Razumnyy, Daniyar Shamkanov

*Дополнительные материалы:*
	Adobe PDF	384.5 Kb

Дополнительные материалы:

razumnyy_shamkanov.pdf (384.5 Kb)

Язык доклада: английский

Обратная связь: