4 citations to https://www.mathnet.ru/rus/sm8667

1. M. Baur, T. Studer, “Semirings of evidence”, J. Logic Comput., 31:8 (2021), 2084–2106      
2. Michael Baur, Thomas Studer, Lecture Notes in Computer Science, 12061, Logic and Argumentation, 2020, 42  
3. M. Fitting, “What are justification logics?”, Fundam. Inform., 165:3-4 (2018), 193–203        
4. S. Kuznetsov, “The Lambek calculus with iteration: two variants”, Logic, Language, Information, and Computation, WoLLIC 2017 (London, UK, July 18–21, 2017), Lecture Notes in Computer Science, 10388, eds. J. Kennedy, R. DeQueiroz, Springer-Verlag, Berlin–Heidelberg, 2017, 182–198