Completeness theorem for topological class models. - Radosav Djordjevic; Nebojsa Ikodinovic; Zarko Mijajlovic (Arch. Math. Log., 2007)

A Propositional Logic with Binary Metric Operators. - Nenad Stojanovic; Nebojsa Ikodinovic; Radosav Djordjevic (FLAP, 2018)

A Propositional Metric Logic with Fixed Finite Ranges. - Radosav Djordjevic; Nebojsa Ikodinovic; Nenad Stojanovic (Fundam. Informaticae, 2020)