1 citations · 1 across the 3 of their papers we have counts for
Showing math.LOShow all
2 papers · 1 filter
math.LO2024
Modal Semantics for Reasoning with Probability and Uncertainty
Nino Guallart
This paper belongs to the field of probabilistic modal logic, focusing on a comparative analysis of two distinct semantics: one rooted in Kripke semantics and the other in neighbou…
math.LO2014
An overview of type theories
Nino Guallart
Pure type systems arise as a generalisation of simply typed lambda calculus. The contemporary development of mathematics has renewed the interest in type theories, as they are not…