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.