Besonderhede van voorbeeld: 8747482496633191671

English

Canonical Kripke models play a role similar to the Lindenbaum–Tarski algebra construction in algebraic semantics.

Chinese

典范 Kripke 模型扮演的角色类似于在代数语义中的 Lindenbaum–Tarski代数构造。