Nenad Savić

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
Relevant justification logic	2022-09-28	Paper
Incomplete Information and Justifications	2022-08-11	Paper
Justification Logics with Probability Operators Probabilistic Extensions of Various Logical Systems	2022-01-27	Paper
Towards probabilistic reasoning in type theory -- the intersection type case	2020-10-26	Paper
Multi-agent logics for reasoning about higher-order upper and lower probabilities Journal of Logic, Language and Information	2020-05-27	Paper
Public announcements for epistemic models and hypertheories	2020-01-14	Paper
A decidable multi-agent logic with iterations of upper and lower probability operators	2018-06-26	Paper
Probabilistic reasoning about simply typed lambda terms	2018-04-06	Paper
Justification logic with approximate conditional probabilities	2017-11-22	Paper
Logics with lower and upper probability operators International Journal of Approximate Reasoning	2017-10-20	Paper
A first-order logic for reasoning about higher-order upper and lower probabilities	2017-09-05	Paper

Research outcomes over time

This page was built for person: Nenad Savić