Showing results 13 to 30 of 30
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
| Ilić Stepić, Angelina ; Knežević, Mateja; Ognjanović, Zoran | Intuitionistic propositional probability logic | 29-Aug-2022 | Mathematical Logic Quarterly | M23 |
| Ilić Stepić, Angelina | A logic for reasoning about qualitative probability | 14-Oct-2010 | Publications de l'Institut Mathematique; 87(101); 97-108 | M24 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The logic ILP for intuitionistic reasoning about probability | 2022 | 11th International Conference Logic and Applications, LAP 2022, September 26 - 29, 2022; Book of Abstracts; 25-26 | M34 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | The Logic ILP for Intuitionistic Reasoning About Probability | 2023 | Studia Logica | ~M21 |
| Ilić-Stepić, Angelina ; Ognjanović, Zoran | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | 1-Jan-2015 | Studia Logica; 1; 145-174 | M22 |
| Ilić Stepic , Angelina ; Ognjanović, Zoran | Logics to formalise p-adic valued probability and their applications | 4-May-2018 | International Journal of Parallel, Emergent and Distributed Systems; 33(3); 257-275 | M52 |
| Ognjanović, Zoran ; Ilić Stepić, Angelina | Logics with Probability Operators | 2020 | Probabilistic Extensions of Various Logical Systems; 1-35 | M13 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran | Modal Quantum logic with probability | 2016 | Šesta nacionalna konferencija: Verovatnosne logike i njihove primene; 20-20 | M60 |
| Ilić Stepić , Angelina | O formalizaciji r-adske, kvalitativne i uslovne verovatnoće | 2012 | doctoral thesis: Matematički Fakultet, Univerzitet u Beogradu | M70 |
| Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | A p-adic probability logic | 1-Aug-2012 | Mathematical Logic Quarterly; 58(4-5); 263-280 | M22 |
| Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša; Perović, Aleksandar | p-Adic probability logics | 1-Jul-2016 | P-Adic Numbers, Ultrametric Analysis, and Applications; 8(3); 177-203 | M52 |
| Ilić Stepić, Angelina | Primene teorije modela u poljima | 2008 | master thesis: Matematički fakultet, Univerzitet u Beogradu | M71 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic | Sep-2021 | 10th International Conference Logic and Applications, LAP 2021, September 20 - 24, 2020, Dubrovnik, Croatia; Book of Abstracts of the 10th International Conference Logic and Applications, LAP 2021; 33 | M34 |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic, Part II: Decidability | 2023 | Logic Journal Of The Igpl | ~M21a |
| Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A Probabilistic Temporal Epistemic Logic: Strong Completeness | 2022 | Logic Journal of the IGPL; jzac072 | ~M21a |
| Ognjanović, Zoran ; Ilić Stepić, Angelina ; Perović, Aleksandar | A probabilistic temporal epistemic logic: Strong completeness | 2024 | Logic Journal of the IGPL; 32(1); 94-138 | ~M21a |
| Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Probability Logics for Reasoning About Quantum Observations | 2023 | Logica Universalis; 17; 175-219 | ~M21 |
| Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina | Tableau For the Logic ILP | 2022 | Publications de l'Institut Mathématique; 112(126); 1-11 | M24 |
