The following pages link to Nenad Savić (Q1647485):
Displayed 10 items.
- A decidable multi-agent logic with iterations of upper and lower probability operators (Q1647486) (← links)
- Justification logic with approximate conditional probabilities (Q1679821) (← links)
- Probabilistic reasoning about simply typed lambda terms (Q1709701) (← links)
- Multi-agent logics for reasoning about higher-order upper and lower probabilities (Q2183579) (← links)
- Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
- Public announcements for epistemic models and hypertheories (Q2284178) (← links)
- A first-order logic for reasoning about higher-order upper and lower probabilities (Q2401898) (← links)
- Logics with lower and upper probability operators (Q2411262) (← links)
- Justification Logics with Probability Operators (Q5024719) (← links)
- (Q5869606) (← links)