Let $K_{V} = \langle K, V \rangle$ be a Kripke model. Kripke forcing is a binary relation $\Vdash_{V}$ between nodes from $W$ and formulae of the language \textbf{L}, defined inductively by the following set of conditions:
$w \nVdash_{V} \bot$
$w \Vdash_{V} p$ iff $w \in V(p)$, for every $p \in \textbf{Atom}$
$w \Vdash_{V} \varphi \wedge \psi$ iff $w \Vdash_{V} \varphi$ and $w \Vdash_{V} \psi$
$w \Vdash_{V} \varphi \vee \psi$ iff $w \Vdash_{V} \varphi$ or $w \Vdash_{V} \psi$
$w \Vdash_{V} \varphi \rightarrow \psi$ iff for all $w'$ such that $w \leq w'$, if $w' \Vdash_{V} \varphi$, then $w' \Vdash_{V} \psi$
Czyli wygląda na to że tak (jeśli nie działa, to pewnie wina wyłączonego JavaScriptu). Podobno krzaczy się też w czytnikach RSS. Nie umiem też wymusić działania komend (np. enumerate), a na jakiekolwiek zdefiniowane, jeśli wierzyć google, nie ma szans. No, trudno. Z uwagi na przejścia z próbowaniem chytba z pięciu różnych niedziałających kodów: 1:0 dla wordpressa, gdzie po prostu jest plugin LaTeXowy.
A w komentarzach?
OdpowiedzUsuńNote that Kripke forcing satisfies the condition of persistency, i.e. for every formula $\varphi$, if $v \leq w$ and $v \Vdash_{V} \varphi$, then $w \Vdash_{V} \varphi$.