Pyltsin Ivan Olegovich

Presentations in Math-Net.Ru

1. Game semantics for First-order Modal and Temporal Logics: State of the art and perspectives
   I. O. Pyltsin
   Seminar on Software Engineering, Theory and Experimental Programming (STEP-2023)
   December 8, 2023