Un estudio algebráico de las lógicas temporales García Olmedo, Francisco Rodríguez Salas, Antonio Jesús Universidad de Granada.Departamento de álgebra álgebra 2013-10-28T12:51:57Z 2013-10-28T12:51:57Z 1994 doctoral thesis http://hdl.handle.net/10481/28848 spa http://creativecommons.org/licenses/by/3.0 Creative Commons Attribution 3.0 License