Angelina Ilic-Stepic

Publication Activity (10 Years)

Years Active: 2012-2024
Publications (10 Years): 5

Top Topics

Valued Semantics

Truth Maintenance Systems

Probabilistic Logic Programs

Classical Logic

Top Venues

Int. J. Approx. Reason.

Logica Universalis

Int. J. Parallel Emergent Distributed Syst.

Publications

Zoran Ognjanovic, Angelina Ilic-Stepic, Aleksandar Perovic
A Probabilistic Temporal Epistemic Logic: Strong Completeness. Log. J. IGPL 32 (1) (2024)
Angelina Ilic-Stepic, Zoran Ognjanovic, Aleksandar Perovic
Probability Logics for Reasoning About Quantum Observations. Logica Universalis 17 (2) (2023)
Angelina Ilic-Stepic, Mateja Knezevic, Zoran Ognjanovic
Intuitionistic propositional probability logic. Math. Log. Q. 68 (4) (2022)
Angelina Ilic-Stepic, Zoran Ognjanovic
Logics to formalise p-adic valued probability and their applications. Int. J. Parallel Emergent Distributed Syst. 33 (3) (2018)
Angelina Ilic-Stepic
Adelic Uncertainty Logic. J. Multiple Valued Log. Soft Comput. 30 (1) (2018)
Angelina Ilic-Stepic, Zoran Ognjanovic
Logics for Reasoning About Processes of Thinking with Information Coded by p-adic Numbers. Stud Logica 103 (1) (2015)
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic
Conditional p-adic probability logic. Int. J. Approx. Reason. 55 (9) (2014)
Angelina Ilic-Stepic, Zoran Ognjanovic, Nebojsa Ikodinovic, Aleksandar Perovic
A p-adic probability logic. Math. Log. Q. 58 (4-5) (2012)