Dmitry ZaitsevBooksMany-Valued Semantics and Modal LogicsClans of Petri Nets: Verification of protocols and performance evaluation of networksThe Logical Legacy of Nikolai Vasiliev and Modern LogicAuthor data: Open Library