Nenad Savić

Available identifiers

zbMath Open savic.nenadMaRDI QIDQ1647485

List of research outcomes

Publication	Date of Publication	Type
https://portal.mardi4nfdi.de/entity/Q5869606	2022-09-28	Paper
Incomplete Information and Justifications	2022-08-11	Paper
Justification Logics with Probability Operators	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	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	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ć