Angelina Ilić-Stepić

Available identifiers

zbMath Open ilic-stepic.angelinaMaRDI QIDQ2350217

List of research outcomes

Publication	Date of Publication	Type
A probabilistic temporal epistemic logic: strong completeness	2024-11-15	Paper
A probabilistic temporal epistemic logic: decidability	2024-11-15	Paper
The logic ILP for intuitionistic reasoning about probability	2024-11-12	Paper
Probability logics for reasoning about quantum observations	2023-07-11	Paper
Tableau for the logic ILP	2022-12-08	Paper
Logics with Probability Operators	2022-01-27	Paper
Formalization of Probabilities with Non-linearly Ordered Ranges	2022-01-27	Paper
A Probabilistic Temporal Epistemic Logic	2021-05-26	Paper
https://portal.mardi4nfdi.de/entity/Q4963180	2018-11-06	Paper
Complex valued probability logics	2017-03-14	Paper
\(p\)-adic probability logics	2016-11-22	Paper
Logics for reasoning about processes of thinking with information coded by \(p\)-adic numbers	2015-06-18	Paper
Conditional \(p\)-adic probability logic	2014-10-23	Paper
A logic for reasoning about qualitative probability	2014-02-07	Paper
Borel sets and countable models	2014-02-07	Paper
A \(p\)-adic probability logic	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ć