1 citations · 1 across the 3 of their papers we have counts for
3 papers
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…
cs.CY2015★ 1 cited
Set theory and tableaux for teaching propositional logic
Nino Guallart, Angel Nepomuceno-Fernandez
In this work we suggest the use of a set-theoretical interpretation of semantic tableaux for teaching propositional logic. If the student has previous notions of basic set theory,…
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…