“McKinsey axiom”的概念、定义、翻译、参考文献-科学参考

McKinsey axiom

Logic

In modal logic, the axiom scheme:
- • $□ ♢ φ \to ♢ □ φ$
where $□$ and $♢$ are necessity and possibility operators and $\to$ is a conditional connective. The logic $KM$ is the logic extending the smallest normal modal logic $K$ with the McKinsey axiom. The axiom is notable in that it is not canonical, that is, there are countermodels to the McKinsey axiom constructed on the canonical frame for logic $KM$ . Named for J. C. C. McKinsey (1908–1953), the axiom is also the converse of the Geach axiom.

单词	McKinsey axiom
释义	McKinsey axiom Logic In modal logic, the axiom scheme: • $□ ♢ φ \to ♢ □ φ$ where $□$ and $♢$ are necessity and possibility operators and $\to$ is a conditional connective. The logic $KM$ is the logic extending the smallest normal modal logic $K$ with the McKinsey axiom. The axiom is notable in that it is not canonical, that is, there are countermodels to the McKinsey axiom constructed on the canonical frame for logic $KM$ . Named for J. C. C. McKinsey (1908–1953), the axiom is also the converse of the Geach axiom.
随便看	electroorganic reaction electro-osmosis electroosmosis electroosmotic mobility electropherogram P/O ratio porcelain jasper porcellanite Porco, Carolyn C. (1953– ) porcupine pore pore fluid pressure pore space pore-water pressure Porifera porin pornography porosity porosity and permeability determination porous silicon porphyrin porphyritic porphyroblast porphyroclast porphyry