Nino Guallart Forés

Games and spaces

2019

In this work we make a study of the different semantics for a modal probabilistic system. In the first part of the work, we compare two model-based semantics: relational and neighbourhood semantics. Nearly all the …