<?xml version="1.0" encoding="ISO-8859-1"?><article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance">
<front>
<journal-meta>
<journal-id>1870-0063</journal-id>
<journal-title><![CDATA[Andamios]]></journal-title>
<abbrev-journal-title><![CDATA[Andamios]]></abbrev-journal-title>
<issn>1870-0063</issn>
<publisher>
<publisher-name><![CDATA[Universidad Autónoma de la Ciudad de México, Colegio de Humanidades y Ciencias Sociales]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1870-00632023000300205</article-id>
<article-id pub-id-type="doi">10.29092/uacm.v20i53.1036</article-id>
<title-group>
<article-title xml:lang="es"><![CDATA[Conocimiento y creencia en lógica epistémica dinámica]]></article-title>
<article-title xml:lang="en"><![CDATA[Knowledge and belief in dynamic epistemic logic]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Soler-Toscano]]></surname>
<given-names><![CDATA[Fernando]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Universidad de Sevilla  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Spain</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>12</month>
<year>2023</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>12</month>
<year>2023</year>
</pub-date>
<volume>20</volume>
<numero>53</numero>
<fpage>205</fpage>
<lpage>232</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1870-00632023000300205&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1870-00632023000300205&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1870-00632023000300205&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="es"><p><![CDATA[Resumen Este trabajo presenta una introducción a la lógica epistémica dinámica a través de diversos sistemas formales que permiten representar conocimientos y creencias de uno o varios agentes, así como acciones epistémicas que pueden modificarlos. Concretamente, presentamos la lógica de anuncios públicos, modelos de acción y modelos de plausibilidad.]]></p></abstract>
<abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract This paper presents an introduction to dynamic epistemic logic through some formal systems that allow to represent knowledge and beliefs of one or more agents, as well as epistemic actions that can modify them. Specifically, we present the public announcements logic, action models and plausibility models.]]></p></abstract>
<kwd-group>
<kwd lng="es"><![CDATA[Lógica epistémica dinámica]]></kwd>
<kwd lng="es"><![CDATA[anuncios públicos]]></kwd>
<kwd lng="es"><![CDATA[modelos de acción]]></kwd>
<kwd lng="es"><![CDATA[modelos de plausibilidad]]></kwd>
<kwd lng="es"><![CDATA[conocimiento y creencia]]></kwd>
<kwd lng="en"><![CDATA[Dynamic epistemic logic]]></kwd>
<kwd lng="en"><![CDATA[public announcements]]></kwd>
<kwd lng="en"><![CDATA[action models]]></kwd>
<kwd lng="en"><![CDATA[plausibility models]]></kwd>
<kwd lng="en"><![CDATA[knowledge and belief]]></kwd>
</kwd-group>
</article-meta>
</front><back>
<ref-list>
<ref id="B1">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Alchourrón]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
<name>
<surname><![CDATA[Gärdenfors]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Makinson]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On the Logic of Theory Change: Partial Meet Contraction and Revision Functions]]></article-title>
<source><![CDATA[The Journal of Symbolic Logic]]></source>
<year>1985</year>
<volume>50</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>510-30</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Baltag]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<source><![CDATA[A Logic of Epistemic Actions]]></source>
<year>1999</year>
<conf-name><![CDATA[ Workshop on Foundations and Applications of Collective Agent Based Systems (ESSLLI 99)]]></conf-name>
<conf-loc> </conf-loc>
<publisher-name><![CDATA[Utrecht University]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Baltag]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Boddy]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Smets]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Group Knowledge in Interrogative Epistemology]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Ditmarsch]]></surname>
<given-names><![CDATA[H. van]]></given-names>
</name>
<name>
<surname><![CDATA[Sandu]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<source><![CDATA[Jaakko Hintikka on Knowledge and Game-Theoretical Semantics]]></source>
<year>2018</year>
<page-range>131-64</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Baltag]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Smets]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Qualitative Theory of Dynamic Interactive Belief Revision]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Bonanno]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[van der Hoek]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Wooldridge]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logic and the Foundations of Game and Decision Theory (LOFT7)]]></source>
<year>2008</year>
<page-range>13-60</page-range><publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[Amsterdam University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Baltag]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Moss]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
<name>
<surname><![CDATA[Solecki]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<source><![CDATA[The Logic of Public Announcements, Common Knowledge and Private Suspicious]]></source>
<year>1999</year>
<publisher-loc><![CDATA[Amsterdam ]]></publisher-loc>
<publisher-name><![CDATA[CWI]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van Benthem]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Logical Dynamics of Information and Interaction]]></source>
<year>2011</year>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van Benthem]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Dynamic Logic for Belief Revision]]></article-title>
<source><![CDATA[Journal of Applied Non-Classical Logics]]></source>
<year>2007</year>
<volume>17</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>129-55</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Cordón-Franco]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[van Ditmarsch]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Fernández-Duque]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
<name>
<surname><![CDATA[Soler-Toscano]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A Colouring Protocol for the Generalized Russian Cards Problem]]></article-title>
<source><![CDATA[Theoretical Computer Science]]></source>
<year>2013</year>
<numero>495</numero>
<issue>495</issue>
<page-range>81-95</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van Ditmarsch]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Dynamics of Lying]]></article-title>
<source><![CDATA[Synthese]]></source>
<year>2014</year>
<volume>191</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>745-77</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van Ditmarsch]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[Kooi]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[One Hundred Prisoners and a Light Bulb]]></source>
<year>2015</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van Ditmarsch]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[van der Hoek]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[Kooi]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dynamic Epistemic Logic]]></source>
<year>2007</year>
<publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Nepomuceno]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Soler-Toscano]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Velázquez-Quesada]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Abduction from a Dynamic Epistemic Perspective: Non-omniscient Agents and Multiagent Settings]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Magnani]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Handbook of Abductive Cognition]]></source>
<year>2023</year>
<page-range>251-79</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Salerno]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[New Essays on the Knowability Paradox]]></source>
<year>2008</year>
<publisher-loc><![CDATA[Oxford ]]></publisher-loc>
<publisher-name><![CDATA[Oxford University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Soler-Toscano]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Velázquez-Quesada]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Generation and Selection of Abductive Explanations for Non-Omniscient Agents]]></article-title>
<source><![CDATA[Journal of Logic, Language and Information]]></source>
<year>2014</year>
<volume>23</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>141-68</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Velázquez-Quesada]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Boissier]]></surname>
<given-names><![CDATA[O.]]></given-names>
</name>
<name>
<surname><![CDATA[Seghrouchni]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Hassas]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
<name>
<surname><![CDATA[Maudet]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dynamic Epistemic Logic for Implicit and Explicit Beliefs]]></source>
<year>2010</year>
<publisher-name><![CDATA[MALLOW]]></publisher-name>
</nlm-citation>
</ref>
</ref-list>
</back>
</article>
