List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| A probabilistic temporal epistemic logic: strong completeness Logic Journal of the IGPL | 2024-11-15 | Paper |
| A probabilistic temporal epistemic logic: decidability Logic Journal of the IGPL | 2024-11-15 | Paper |
| The logic ILP for intuitionistic reasoning about probability Studia Logica | 2024-11-12 | Paper |
| Probability logics for reasoning about quantum observations Logica Universalis | 2023-07-11 | Paper |
| Tableau for the logic ILP Publications de l'Institut Math?matique (Belgrade) | 2022-12-08 | Paper |
| Logics with Probability Operators Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
| Formalization of Probabilities with Non-linearly Ordered Ranges Probabilistic Extensions of Various Logical Systems | 2022-01-27 | Paper |
| A Probabilistic Temporal Epistemic Logic | 2021-05-26 | Paper |
| Adelic uncertainty logic | 2018-11-06 | Paper |
| Complex valued probability logics Publications de l'Institut Math?matique (Belgrade) | 2017-03-14 | Paper |
| \(p\)-adic probability logics \(p\)-Adic Numbers, Ultrametric Analysis, and Applications | 2016-11-22 | Paper |
| Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers Studia Logica | 2015-06-18 | Paper |
| Conditional \(p\)-adic probability logic International Journal of Approximate Reasoning | 2014-10-23 | Paper |
| A logic for reasoning about qualitative probability Publications de l'Institut Math?matique (Belgrade) | 2014-02-07 | Paper |
| Borel sets, countable models Publications de l'Institut Math?matique (Belgrade) | 2014-02-07 | Paper |
| A \(p\)-adic probability logic Mathematical Logic Quarterly (MLQ) | 2012-09-12 | Paper |
| Fundamental theorems of analysis in formally real fields | 2011-01-25 | Paper |
Research outcomes over time
This page was built for person: Angelina Ilić-Stepić
