Researchers
Ilić-Stepić, Angelina
Type
Date issued
Results 1-20 of 25
| Issue Date | Title | Author(s) | Type | Мp-cat. |
|---|---|---|---|---|
| 2024 | A Probabilistic Temporal Epistemic Logic: Strong Completeness | Ognjanović, Zoran   ; Ilić Stepić, Angelina ; Perović, Aleksandar | Article | 21aM21a |
| 2023 | A probabilistic temporal epistemic logic: Decidability | Ognjanović, Zoran ; Ilić-Stepić, Angelina ; Perović, Aleksandar | Article | 21aM21a |
| 2023 | Probability Logics for Reasoning About Quantum Observations | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Article | 21M21 |
| 2023 | The Logic ILP for Intuitionistic Reasoning About Probability | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Article | 21aM21a |
| 2022 | Intuitionistic Propositional Probability Logic | Ilić-Stepić, Angelina ; Knežević, Mateja ; Ognjanović, Zoran | Article | 23M23 |
| 2022 | Tableau For the Logic ILP | Ognjanović, Zoran ; Perović, Aleksandar; Ilić Stepić, Angelina | Article | 23M23 |
| 2022 | The logic ILP for intuitionistic reasoning about probability | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Conference Paper | Mp. category will be shown later |
| 2021 | A Probabilistic Temporal Epistemic Logic | Ilić Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar | Conference Paper | Mp. category will be shown later |
| 2018 | Adelic uncertainty logic | Ilić-Stepić, Angelina V. | Article | 21M21 |
| 2017 | Proceedings of 6th Conference Logic and Applications 2017 (LAP 2017) | Ilić-Stepić, Angelina V. | Conference Paper | Mp. category will be shown later |
| 2017 | A Probability Logic for Reasoning About Quantum Observations | Ilić-Stepić, Angelina V. ; Ognjanović, Zoran D. | Conference Paper | Mp. category will be shown later |
| 2016 | Erratum to: Extensions of the Probability Logics LPP2 and LFOP1 | Perović, Aleksandar ; Doder, Dragan ; Ilić-Stepić, Angelina ; Ikodinović, Nebojša | Other | Mp. category will be shown later |
| 2016 | Modal Quantum logic with probability | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Conference Paper | Mp. category will be shown later |
| 2015 | Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Article | 21M21 |
| 2015 | A p-adic probability logic | Ikodinović, Nebojša ; Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Perović, Aleksandar M. | Conference Paper | Mp. category will be shown later |
| 2014 | Complex valued probability logics | Ilić-Stepić, Angelina ; Ognjanović, Zoran | Article | 23M23 |
| 2014 | Conditional p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Article | 21M21 |
| 2013 | Adelic estimation of uncertainty | Ilić-Stepić, Angelina | Conference Paper | Mp. category will be shown later |
| 2012 | Conditional p-adic probability logic | Ilić-Stepić, Angelina ; Ognjanović, Zoran ; Ikodinović, Nebojša | Conference Paper | Mp. category will be shown later |
| 2012 | O formalizaciji p-adske, kvalitativne i uslovne verovatnoće | Ilić Stepić , Angelina | Doctoral theses | 70M70 |