dc.creator | Pardo, Pere | es |
dc.creator | Sarrión Morillo, Enrique | es |
dc.creator | Soler Toscano, Fernando | es |
dc.creator | Velázquez Quesada, Fernando R. | es |
dc.date.accessioned | 2018-05-16T07:53:22Z | |
dc.date.available | 2018-05-16T07:53:22Z | |
dc.date.issued | 2018 | |
dc.identifier.citation | Pardo, P., Sarrión Morillo, E., Soler Toscano, F. y Velázquez Quesada, F.R. (2018). Tuning the program transformers from LCC to PDL. Journal of Applied Logics: IfCoLoG Journal of Logics and their Applications, 5 (1), 71-96. | |
dc.identifier.issn | 2055-3706 (impreso) | es |
dc.identifier.issn | 2055-3714 (electrónico) | es |
dc.identifier.uri | https://hdl.handle.net/11441/74649 | |
dc.description | ISBN del número: 978-1-84890-274-9 | es |
dc.description.abstract | This work proposes an alternative definition of the so-called program transformers
used to obtain reduction axioms in the Logic of Communication and
Change (LCC). Our proposal uses an elegant matrix treatment of Brzozowski’s
equational method instead of Kleene’s translation from finite automata to regular
expressions. The two alternatives are shown to be equivalent, with Brzozowski’s
method having the advantage of generating smaller expressions for
models with average connectivity. | es |
dc.format | application/pdf | es |
dc.language.iso | eng | es |
dc.publisher | IFCoLog (The International Federation for Computational Logic) | es |
dc.relation.ispartof | Journal of Applied Logics: IfCoLoG Journal of Logics and their Applications, 5 (1), 71-96. | |
dc.rights.uri | http://creativecommons.org/licenses/by-nc-nd/4.0/ | * |
dc.subject | Logic of communication and change | es |
dc.subject | Dynamic epistemic logic | es |
dc.subject | Propositional dynamic logic | es |
dc.subject | Action model | es |
dc.subject | Program transformer | es |
dc.subject | Reduction axiom | es |
dc.title | Tuning the program transformers from LCC to PDL | es |
dc.type | info:eu-repo/semantics/article | es |
dcterms.identifier | https://ror.org/03yxnpp24 | |
dc.type.version | info:eu-repo/semantics/publishedVersion | es |
dc.rights.accessRights | info:eu-repo/semantics/openAccess | es |
dc.contributor.affiliation | Universidad de Sevilla. Departamento de Filosofía y Lógica y Filosofía de la Ciencia | es |
dc.relation.publisherversion | http://collegepublications.co.uk/ifcolog/?00021 | es |
idus.format.extent | 26 p. | es |
dc.journaltitle | Journal of Applied Logics: IfCoLoG Journal of Logics and their Applications | es |
dc.publication.volumen | 5 | es |
dc.publication.issue | 1 | es |
dc.publication.initialPage | 71 | es |
dc.publication.endPage | 96 | es |