RUS  ENG
Полная версия
ВИДЕОТЕКА

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


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

Pavel Razumnyy, Daniyar Shamkanov


https://youtu.be/X_gCSRPPFcE


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


© МИАН, 2024