<?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>1405-5546</journal-id>
<journal-title><![CDATA[Computación y Sistemas]]></journal-title>
<abbrev-journal-title><![CDATA[Comp. y Sist.]]></abbrev-journal-title>
<issn>1405-5546</issn>
<publisher>
<publisher-name><![CDATA[Instituto Politécnico Nacional, Centro de Investigación en Computación]]></publisher-name>
</publisher>
</journal-meta>
<article-meta>
<article-id>S1405-55462022000200823</article-id>
<article-id pub-id-type="doi">10.13053/cys-26-2-4259</article-id>
<title-group>
<article-title xml:lang="en"><![CDATA[Intuitionistic Epistemic Logic with Distributed Knowledge]]></article-title>
</title-group>
<contrib-group>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Murai]]></surname>
<given-names><![CDATA[Ryo]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
<contrib contrib-type="author">
<name>
<surname><![CDATA[Sano]]></surname>
<given-names><![CDATA[Katsuhiko]]></given-names>
</name>
<xref ref-type="aff" rid="Aff"/>
</contrib>
</contrib-group>
<aff id="Af1">
<institution><![CDATA[,Hokkaido University  ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Japan</country>
</aff>
<aff id="Af2">
<institution><![CDATA[,Hokkaido University Faculty of Humanities and Human Sciences ]]></institution>
<addr-line><![CDATA[ ]]></addr-line>
<country>Japan</country>
</aff>
<pub-date pub-type="pub">
<day>00</day>
<month>06</month>
<year>2022</year>
</pub-date>
<pub-date pub-type="epub">
<day>00</day>
<month>06</month>
<year>2022</year>
</pub-date>
<volume>26</volume>
<numero>2</numero>
<fpage>823</fpage>
<lpage>834</lpage>
<copyright-statement/>
<copyright-year/>
<self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_arttext&amp;pid=S1405-55462022000200823&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_abstract&amp;pid=S1405-55462022000200823&amp;lng=en&amp;nrm=iso"></self-uri><self-uri xlink:href="http://www.scielo.org.mx/scielo.php?script=sci_pdf&amp;pid=S1405-55462022000200823&amp;lng=en&amp;nrm=iso"></self-uri><abstract abstract-type="short" xml:lang="en"><p><![CDATA[Abstract: We develop intuitionistic epistemic logics with distributed knowledge, which is more general than a logic proposed by (Jäger &amp; Marti 2016) in that a distributed knowledge operator is parameterized by a group of agents. Specifically, we present Hilbert systems of intuitionistic K, KT, KD, K4, K4D, and S4 with distributed knowledge. The semantic completeness of the logics with regard to suitable Kripke frames is shown by modifying the standard argument of the semantic completeness of classical distributed knowledge logics via the concept of pseudo-model. We also present cut-free sequent calculi for the logics, based on which we establish Craig interpolation theorem and decidability.]]></p></abstract>
<kwd-group>
<kwd lng="en"><![CDATA[Intuitionistic logic]]></kwd>
<kwd lng="en"><![CDATA[epistemic logic]]></kwd>
<kwd lng="en"><![CDATA[distributed knowledge]]></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[Ågotnes]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Wáng]]></surname>
<given-names><![CDATA[Y. N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Resolving distributed knowledge]]></article-title>
<source><![CDATA[Artificial Intelligence]]></source>
<year>2017</year>
<volume>252</volume>
<page-range>1-21</page-range></nlm-citation>
</ref>
<ref id="B2">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ågotnes]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
<name>
<surname><![CDATA[Wáng]]></surname>
<given-names><![CDATA[Y. N.]]></given-names>
</name>
<name>
<surname><![CDATA[Dastani]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Dong]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
<name>
<surname><![CDATA[van der Torre]]></surname>
<given-names><![CDATA[L.]]></given-names>
</name>
</person-group>
<source><![CDATA[Group belief]]></source>
<year>2020</year>
<volume>12061</volume>
<conf-name><![CDATA[ Logic and Argumentation - Third International Conference, CLAR 2020]]></conf-name>
<conf-date>April 6-9, 2020</conf-date>
<conf-loc>Hangzhou, China </conf-loc>
<page-range>3-21</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B3">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Artëmov]]></surname>
<given-names><![CDATA[S. N.]]></given-names>
</name>
<name>
<surname><![CDATA[Protopopescu]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Intuitionistic epistemic logic]]></article-title>
<source><![CDATA[The Review of Symbolic Logic]]></source>
<year>2016</year>
<volume>9</volume>
<page-range>266-98</page-range></nlm-citation>
</ref>
<ref id="B4">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Balbiani]]></surname>
<given-names><![CDATA[P.]]></given-names>
</name>
<name>
<surname><![CDATA[Galmiche]]></surname>
<given-names><![CDATA[D.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[About intuitionistic public announcement logic]]></article-title>
<source><![CDATA[Advances in Modal logic]]></source>
<year>2016</year>
<volume>11</volume>
<page-range>97-116</page-range><publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B5">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fagin]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Halpern]]></surname>
<given-names><![CDATA[J. Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Vardi]]></surname>
<given-names><![CDATA[M. Y.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[What can machines know? on the properties of knowledge in distributed systems]]></article-title>
<source><![CDATA[Journal of the ACM]]></source>
<year>1996</year>
<volume>39</volume>
<page-range>328-76</page-range></nlm-citation>
</ref>
<ref id="B6">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fagin]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Halpern]]></surname>
<given-names><![CDATA[J. Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Vardi]]></surname>
<given-names><![CDATA[M. Y.]]></given-names>
</name>
<name>
<surname><![CDATA[Moses]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
</person-group>
<source><![CDATA[Reasoning About Knowledge]]></source>
<year>1995</year>
<publisher-loc><![CDATA[Cambridge, MA, USA ]]></publisher-loc>
<publisher-name><![CDATA[MIT Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B7">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Fitch]]></surname>
<given-names><![CDATA[F. B.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A logical analysis of some value concepts]]></article-title>
<source><![CDATA[The Journal of Symbolic Logic]]></source>
<year>1963</year>
<volume>28</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>135-42</page-range></nlm-citation>
</ref>
<ref id="B8">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gentzen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Untersuchungen über das logische Schließen]]></article-title>
<source><![CDATA[Mathematische Zeitschrift]]></source>
<year>1935</year>
<volume>39</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>176-210</page-range></nlm-citation>
</ref>
<ref id="B9">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gentzen]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Untersuchungen über das logische Schließen]]></article-title>
<source><![CDATA[Mathematische Zeitschrift]]></source>
<year>1935</year>
<volume>39</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>405-31</page-range></nlm-citation>
</ref>
<ref id="B10">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Gerbrandy]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Bisimulations on Planet Kripke]]></source>
<year>1999</year>
<publisher-name><![CDATA[University of Amsterdam]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B11">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Giedra]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Cut free sequent calculus for logic S5n(ED)]]></article-title>
<source><![CDATA[Lietuvos matematikos rinkinys]]></source>
<year>2010</year>
<volume>51</volume>
<page-range>336-41</page-range></nlm-citation>
</ref>
<ref id="B12">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hakli]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Negri]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Proof theory for distributed knowledge]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Sadri]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
<name>
<surname><![CDATA[Satoh]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
</person-group>
<source><![CDATA[Computational Logic in Multi-Agent Systems]]></source>
<year>2008</year>
<page-range>100-16</page-range><publisher-loc><![CDATA[Berlin, Heidelberg ]]></publisher-loc>
<publisher-name><![CDATA[Springer Berlin Heidelberg]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B13">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Herlihy]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Shavit]]></surname>
<given-names><![CDATA[N.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[The topological structure of asynchronous computability]]></article-title>
<source><![CDATA[J. ACM]]></source>
<year>1999</year>
<volume>46</volume>
<numero>6</numero>
<issue>6</issue>
<page-range>858-923</page-range></nlm-citation>
</ref>
<ref id="B14">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Hirai]]></surname>
<given-names><![CDATA[Y.]]></given-names>
</name>
</person-group>
<source><![CDATA[An intuitionistic epistemic logic for sequential consistency on shared memory]]></source>
<year>2010</year>
<conf-name><![CDATA[ International Conference on Logic for Programming Artificial Intelligence and Reasoning]]></conf-name>
<conf-loc> </conf-loc>
<page-range>272-89</page-range></nlm-citation>
</ref>
<ref id="B15">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Jäger]]></surname>
<given-names><![CDATA[G.]]></given-names>
</name>
<name>
<surname><![CDATA[Marti]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[A canonical model construction for intuitionistic distributed knowledge]]></article-title>
<source><![CDATA[Advances in Modal logic]]></source>
<year>2016</year>
<volume>11</volume>
<page-range>420-34</page-range><publisher-name><![CDATA[College Publications]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B16">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Maehara]]></surname>
<given-names><![CDATA[S.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Craig no interpolation theorem (On Craig&#8217;s interpolation theorem)]]></article-title>
<source><![CDATA[Sugaku]]></source>
<year>1961</year>
<volume>12</volume>
<numero>4</numero>
<issue>4</issue>
<page-range>235-7</page-range></nlm-citation>
</ref>
<ref id="B17">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Marti]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Contributions to Intuitionistic Epistemic Logic]]></source>
<year>2017</year>
<publisher-name><![CDATA[Universität Bern]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B18">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Meyer]]></surname>
<given-names><![CDATA[J.-J. C.]]></given-names>
</name>
<name>
<surname><![CDATA[van der Hoek]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
</person-group>
<source><![CDATA[Epistemic Logic for AI and Computer Science]]></source>
<year>1995</year>
<publisher-loc><![CDATA[New York, NY, USA ]]></publisher-loc>
<publisher-name><![CDATA[Cambridge University Press]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B19">
<nlm-citation citation-type="confpro">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Murai]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Sano]]></surname>
<given-names><![CDATA[K.]]></given-names>
</name>
<name>
<surname><![CDATA[Herzig]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
<name>
<surname><![CDATA[Kontinen]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<source><![CDATA[Craig interpolation of epistemic logics with distributed knowledge]]></source>
<year>2020</year>
<volume>12012</volume>
<conf-name><![CDATA[ 11th International Symposium, FoIKS 2020]]></conf-name>
<conf-date>February 17-21, 2020</conf-date>
<conf-loc>Dortmund, Germany </conf-loc>
<page-range>211-21</page-range><publisher-name><![CDATA[Springer]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B20">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ono]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On some intuitionistic modal logics]]></article-title>
<source><![CDATA[Publications of the Research Institute for Mathematical Sciences]]></source>
<year>1977</year>
<volume>13</volume>
<numero>3</numero>
<issue>3</issue>
<page-range>687-722</page-range></nlm-citation>
</ref>
<ref id="B21">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Ono]]></surname>
<given-names><![CDATA[H.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Proof-theoretic methods in nonclassical logic &#8211;an introduction]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Takahashi]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Okada]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Dezani-Ciancaglini]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
</person-group>
<source><![CDATA[Theories of Types and Proofs]]></source>
<year>1998</year>
<volume>2</volume>
<page-range>207-54</page-range><publisher-loc><![CDATA[Tokyo, Japan ]]></publisher-loc>
<publisher-name><![CDATA[The Mathematical Society of Japan]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B22">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Plaza]]></surname>
<given-names><![CDATA[J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Logics of public communications]]></article-title>
<source><![CDATA[Synthese]]></source>
<year>2007</year>
<volume>158</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>165-79</page-range></nlm-citation>
</ref>
<ref id="B23">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Pliuskevicius]]></surname>
<given-names><![CDATA[R.]]></given-names>
</name>
<name>
<surname><![CDATA[Pliuskeviciene]]></surname>
<given-names><![CDATA[A.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Termination of derivations in a fragment of transitive distributed knowledge logic]]></article-title>
<source><![CDATA[Informatica, Lith. Acad. Sci.]]></source>
<year>2008</year>
<volume>19</volume>
<page-range>597-616</page-range></nlm-citation>
</ref>
<ref id="B24">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Proietti]]></surname>
<given-names><![CDATA[C.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Intuitionistic epistemic logic, Kripke models and Fitch&#8217;s paradox]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>2012</year>
<volume>41</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>877-900</page-range></nlm-citation>
</ref>
<ref id="B25">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Roelofsen]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Distributed knowledge]]></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>255-73</page-range></nlm-citation>
</ref>
<ref id="B26">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Saks]]></surname>
<given-names><![CDATA[M.]]></given-names>
</name>
<name>
<surname><![CDATA[Zaharoglou]]></surname>
<given-names><![CDATA[F.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Wait-free k-set agreement is impossible: The topology of public knowledge]]></article-title>
<source><![CDATA[SIAM Journal on Computing]]></source>
<year>2000</year>
<volume>29</volume>
<numero>5</numero>
<issue>5</issue>
<page-range>1449-83</page-range></nlm-citation>
</ref>
<ref id="B27">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Suzuki]]></surname>
<given-names><![CDATA[N.-Y.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Semantics for intuitionistic epistemic logics of shallow depths for game theory]]></article-title>
<source><![CDATA[Economic Theory]]></source>
<year>2013</year>
<volume>53</volume>
<numero>1</numero>
<issue>1</issue>
<page-range>85-110</page-range></nlm-citation>
</ref>
<ref id="B28">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[van der Hoek]]></surname>
<given-names><![CDATA[W.]]></given-names>
</name>
<name>
<surname><![CDATA[van Linder]]></surname>
<given-names><![CDATA[B.]]></given-names>
</name>
<name>
<surname><![CDATA[Meyer]]></surname>
<given-names><![CDATA[J.-J.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Group knowledge is not always distributed (neither is it always implicit)]]></article-title>
<source><![CDATA[Mathematical Social Sciences]]></source>
<year>1999</year>
<volume>38</volume>
<numero>2</numero>
<issue>2</issue>
<page-range>215-40</page-range></nlm-citation>
</ref>
<ref id="B29">
<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. P.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dynamic Epistemic Logic]]></source>
<year>2007</year>
<volume>337</volume>
<publisher-name><![CDATA[Springer Science &amp; Business Media]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B30">
<nlm-citation citation-type="book">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Wáng]]></surname>
<given-names><![CDATA[Y. N.]]></given-names>
</name>
<name>
<surname><![CDATA[Ågotnes]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[Simpler completeness proofs for modal logics with intersection]]></article-title>
<person-group person-group-type="editor">
<name>
<surname><![CDATA[Martins]]></surname>
<given-names><![CDATA[M. A.]]></given-names>
</name>
<name>
<surname><![CDATA[Sedlár]]></surname>
<given-names><![CDATA[I.]]></given-names>
</name>
</person-group>
<source><![CDATA[Dynamic Logic]]></source>
<year>2020</year>
<page-range>259-76</page-range><publisher-loc><![CDATA[Cham ]]></publisher-loc>
<publisher-name><![CDATA[Springer International Publishing]]></publisher-name>
</nlm-citation>
</ref>
<ref id="B31">
<nlm-citation citation-type="journal">
<person-group person-group-type="author">
<name>
<surname><![CDATA[Williamson]]></surname>
<given-names><![CDATA[T.]]></given-names>
</name>
</person-group>
<article-title xml:lang=""><![CDATA[On intuitionistic modal epistemic logic]]></article-title>
<source><![CDATA[Journal of Philosophical Logic]]></source>
<year>1992</year>
<volume>21</volume>
<page-range>63-89</page-range></nlm-citation>
</ref>
</ref-list>
</back>
</article>
