Hennessy-Milner Type Theorems for Fuzzy Multimodal Logics Over Heyting Algebras. - Marko Stankovic 001; Miroslav Ciric 001; Jelena Ignjatovic (J. Multiple Valued Log. Soft Comput., 2022)

Evaluating the Success of AI Tools in Supporting Student Performance in Mathematical Kangaroo Competition. - Marina Svicevic; Aleksandar Milenkovic; Nemanja Vucicevic; Marko Stankovic 001 (Comput. Appl. Eng. Educ., 2025)

Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras. - Marko Stankovic 001; Stefan Stanimirovic; Miroslav Ciric 001 (Int. J. Approx. Reason., 2025)