Radosav Djordjevic

Publication Activity (10 Years)

Years Active: 2007-2020
Publications (10 Years): 2

Top Topics

Classical First Order Logic

Propositional Variables

Propositional Logic

Top Venues

Fundam. Informaticae

Publications

Radosav Djordjevic, Nebojsa Ikodinovic, Nenad Stojanovic
A Propositional Metric Logic with Fixed Finite Ranges. Fundam. Informaticae 174 (2) (2020)
Nenad Stojanovic, Nebojsa Ikodinovic, Radosav Djordjevic
A Propositional Logic with Binary Metric Operators. FLAP 5 (8) (2018)
Radosav Djordjevic, Nebojsa Ikodinovic, Zarko Mijajlovic
Completeness theorem for topological class models. Arch. Math. Log. 46 (1) (2007)