@InProceedings{pub21, Title = {- L{\'o}gica modal}, Author = {Clara Smith}, Booktitle = {Capitulo 3, Logic for Informatics, the Editorial of the University of La Plata (EUNLP), Argentina.}, Year = {2016}, Url = {sedici.unlp.edu.ar/handle/10915/61426} }