Showing results 21 to 30 of 30
< previous
| Author(s) | Title | Issue Date | Appears in | Rank |
| 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 |
