Jump to navigation Jump to search


Display information for equation id:math.235109.51 on revision:235109

* Page found: Kripke semantics (eq math.235109.51)

(force rerendering)

Cannot find the equation data in the database. Fetching from revision text.

Occurrences on the following pages:

Hash: 171a85425401f3a3f74d635d926ed909

TeX (original user input):

\Box(\Box(A\to\Box A)\to A)\to A

TeX (checked):

\Box (\Box (A\to \Box A)\to A)\to A

LaTeXML (experimental; uses MathML) rendering

MathML (2.898 KB / 649 B) :

( ( A A ) A ) A fragments fragments normal-( fragments normal-( A normal-→ A normal-) normal-→ A normal-) normal-→ A {\displaystyle\Box(\Box(A\to\Box A)\to A)\to A}
<math xmlns="http://www.w3.org/1998/Math/MathML" id="p1.1.m1.1" class="ltx_Math" alttext="{\displaystyle\Box(\Box(A\to\Box A)\to A)\to A}" display="inline">
  <semantics id="p1.1.m1.1a">
    <mrow id="p1.1.m1.1b">
      <mi mathvariant="normal" id="p1.1.m1.1.1"></mi>
      <mrow id="p1.1.m1.1.16" xref="p1.1.m1.1.16.cmml">
        <mo stretchy="false" id="p1.1.m1.1.2" xref="p1.1.m1.1.2.cmml">(</mo>
        <mi mathvariant="normal" id="p1.1.m1.1.3"></mi>
        <mrow id="p1.1.m1.1.15" xref="p1.1.m1.1.15.cmml">
          <mo stretchy="false" id="p1.1.m1.1.4" xref="p1.1.m1.1.4.cmml">(</mo>
          <mi id="p1.1.m1.1.5">A</mi>
          <mo id="p1.1.m1.1.6" xref="p1.1.m1.1.6.cmml"></mo>
          <mi mathvariant="normal" id="p1.1.m1.1.7"></mi>
          <mi id="p1.1.m1.1.8">A</mi>
          <mo stretchy="false" id="p1.1.m1.1.9" xref="p1.1.m1.1.9.cmml">)</mo>
        <mo id="p1.1.m1.1.10" xref="p1.1.m1.1.10.cmml"></mo>
        <mi id="p1.1.m1.1.11">A</mi>
        <mo stretchy="false" id="p1.1.m1.1.12" xref="p1.1.m1.1.12.cmml">)</mo>
      <mo id="p1.1.m1.1.13" xref="p1.1.m1.1.13.cmml"></mo>
      <mi id="p1.1.m1.1.14">A</mi>
    <annotation-xml encoding="MathML-Content" id="p1.1.m1.1c">
      <cerror id="p1.1.m1.1d">
        <csymbol cd="ambiguous" id="p1.1.m1.1e">fragments</csymbol>
        <csymbol cd="unknown" id="p1.1.m1.1f"></csymbol>
        <cerror id="p1.1.m1.1.16.cmml" xref="p1.1.m1.1.16">
          <csymbol cd="ambiguous" id="p1.1.m1.1.16a.cmml" xref="p1.1.m1.1.16">fragments</csymbol>
          <ci id="p1.1.m1.1.2.cmml" xref="p1.1.m1.1.2">normal-(</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.16b.cmml" xref="p1.1.m1.1.16"></csymbol>
          <cerror id="p1.1.m1.1.15.cmml" xref="p1.1.m1.1.15">
            <csymbol cd="ambiguous" id="p1.1.m1.1.15a.cmml" xref="p1.1.m1.1.15">fragments</csymbol>
            <ci id="p1.1.m1.1.4.cmml" xref="p1.1.m1.1.4">normal-(</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.15b.cmml" xref="p1.1.m1.1.15">A</csymbol>
            <ci id="p1.1.m1.1.6.cmml" xref="p1.1.m1.1.6">normal-→</ci>
            <csymbol cd="unknown" id="p1.1.m1.1.15c.cmml" xref="p1.1.m1.1.15"></csymbol>
            <csymbol cd="unknown" id="p1.1.m1.1.15d.cmml" xref="p1.1.m1.1.15">A</csymbol>
            <ci id="p1.1.m1.1.9.cmml" xref="p1.1.m1.1.9">normal-)</ci>
          <ci id="p1.1.m1.1.10.cmml" xref="p1.1.m1.1.10">normal-→</ci>
          <csymbol cd="unknown" id="p1.1.m1.1.16c.cmml" xref="p1.1.m1.1.16">A</csymbol>
          <ci id="p1.1.m1.1.12.cmml" xref="p1.1.m1.1.12">normal-)</ci>
        <ci id="p1.1.m1.1.13.cmml" xref="p1.1.m1.1.13">normal-→</ci>
        <csymbol cd="unknown" id="p1.1.m1.1g">A</csymbol>
    <annotation encoding="application/x-tex" id="p1.1.m1.1h">{\displaystyle\Box(\Box(A\to\Box A)\to A)\to A}</annotation>

SVG image empty. Force Re-Rendering

SVG (4.059 KB / 1.426 KB) :

normal white square left-parenthesis normal white square left-parenthesis upper A right-arrow normal white square upper A right-parenthesis right-arrow upper A right-parenthesis right-arrow upper A

MathML with SVG or PNG fallback (recommended for modern browsers and accessibility tools) rendering

MathML (0 B / 8 B) :

SVG image empty. Force Re-Rendering

SVG (0 B / 8 B) :

PNG (0 B / 8 B) :

Translations to Computer Algebra Systems

Translation to Maple

In Maple:

Empty math term tag - Reason: An unknown or missing element occurred

Translation to Mathematica

In Mathematica:

Empty math term tag - Reason: An unknown or missing element occurred

Similar pages

Calculated based on the variables occurring on the entire Kripke semantics page


MathML observations



no statistics present please run the maintenance script ExtractFeatures.php

0 results

0 results