On Entropy of a Logical System. - Marija Boricic (J. Multiple Valued Log. Soft Comput., 2013)

Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji ; Probability sequent calculi and entropy based non-classical logics classification. - Marija Boricic (2016)

Suppes-style sequent calculus for probability logic. - Marija Boricic (J. Log. Comput., 2017)

Sequent calculus for classical logic probabilized. - Marija Boricic (Arch. Math. Log., 2019)

Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification. - Marija Boricic (Bull. Symb. Log., 2019)

Probability and natural deduction. - Marija Boricic Joksimovic; Nebojsa Ikodinovic; Nenad Stojanovic (J. Log. Comput., 2025)