@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 = {https://libros.unlp.edu.ar/index.php/unlp/catalog/book/759} }