|
ВИДЕОТЕКА |
Workshop "Semantical and Computational Aspects of Non-Classical Logics" (SCAN 2023)
|
|||
|
Topological semantics of the predicate modal calculus QGL extended with non-well-founded proofs Pavel Razumnyy, Daniyar Shamkanov |
|||
Язык доклада: английский |