8 results on '"Savic, Nenad"'
Search Results
2. Towards Probabilistic Reasoning in Type Theory - The Intersection Type Case
3. Justification Logics with Probability Operators
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
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.