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

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


On the quantified version of the Belnap-Dunn modal logic and some extensions of it

A. V. Grefenshtein


https://youtu.be/J0NDD32jdq4


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


© МИАН, 2024