|
ВИДЕОТЕКА |
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
|
|||
|
On the quantified version of the Belnap-Dunn modal logic and some extensions of it A. V. Grefenshtein |
|||
Язык доклада: английский |