Search

Your search keyword '"Savic, Nenad"' showing total 8 results

Search Constraints

Start Over You searched for: Author "Savic, Nenad" Remove constraint Author: "Savic, Nenad" Database Springer Nature eBooks Remove constraint Database: Springer Nature eBooks
8 results on '"Savic, Nenad"'

Search Results

1. Incomplete Information and Justifications

2. Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case

4. Public Announcements for Epistemic Models and Hypertheories

5. A Decidable Multi-agent Logic with Iterations of Upper and Lower Probability Operators

6. Probabilistic Reasoning About Simply Typed Lambda Terms

7. Justification Logic with Approximate Conditional Probabilities

8. A First-Order Logic for Reasoning About Higher-Order Upper and Lower Probabilities

Catalog

Books, media, physical & digital resources