Suppes-style sequent calculus for probability logic M Boričić Journal of Logic and Computation 27 (4), 1157-1168, 2017 | 12 | 2017 |
Inference rules for probability logic M Boričić Publications de l'Institut Mathématique 100 (114), 77-86, 2016 | 11 | 2016 |
Hypothetical syllogism rule probabilized M Boričić Bull. Symb. Log 20 (3), 401-402, 2014 | 10 | 2014 |
Sequent calculus for classical logic probabilized M Boricic Archive for Mathematical Logic 58, 119-138, 2019 | 9 | 2019 |
Models for the probabilistic sequent calculus M Boricic Bulletin of Symbolic Logic 21 (1), 60, 2015 | 9 | 2015 |
On Entropy of a Logical System. M Boričić Journal of Multiple-Valued Logic & Soft Computing 21, 2013 | 5 | 2013 |
Soft outer measure and soft premeasure MBJ Nenad Stojanovic Filomat 36, 2129–2141, 2022 | 2* | 2022 |
On basic probability logic inequalities MB Joksimovic Mathematics 9 (12), 2021 | 2 | 2021 |
Probabilized Sequent Calculus and Natural Deduction System for Classical Logic M Boričić Probabilistic Extensions of Various Logical Systems, 197-213, 2020 | 2 | 2020 |
Probability Sequent Calculi and Entropy Based Nonclassical Logics Classification M Boričić Bulletin of Symbolic Logic 25 (4), 446-447, 2019 | 2 | 2019 |
A note on entropy of logic M BORICIC Yugoslav Journal of Operations Research 27 (3), 385-390, 2017 | 2 | 2017 |
Saglasnost i potpunost verovatnosnih pravila zakljucivanja M Boricic SYMOP-IS 2015, XLII, 586-588, 0 | 2 | |
Probability and natural deduction M Boričić Joksimović, N Ikodinović, N Stojanović Journal of Logic and Computation, exae007, 2024 | | 2024 |
Вероватносни рачуни секвената и класификација некласичних логика заснована на ентропији M Boričić Универзитет у Београду, 2016 | | 2016 |
Verovatnosni računi sekvenata i klasifikacija neklasičnih logika zasnovana na entropiji M Boričić Univerzitet u Beogradu-Matematički fakultet, 2016 | | 2016 |
A calculus of sequents with probability M Boricic Logic and Applications, 9, 2015 | | 2015 |
Ergodičnost i entropija dinamičkih sistema M Boričić MATEMATIČKI FAKULTET UNIVERZITETA U BEOGRADU, 2011 | | 2011 |
Entropy and Ergodic Theory M Boričić Information theory and complex systems, 7, 0 | | |
Models for sequent calculus with high probabilities M Boricic Peta nacionalna konferencija “Verovatnosne logike i njihove primene”, 25, 0 | | |
On definition of consistency in a probabilistic sequent calculus M Boricic Treca nacionalna konferencija “Verovatnosne logike i njihove primene”, 13, 0 | | |