“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.
随便看	subgame subgame perfect equilibrium subgiant subglacial subgrade subgraph Advanced Satellite for Cosmology and Astrophysics Advanced Satellite with New System Architecture for Observation advanced synthetic aperture radar advanced very high-resolution radiometer advance-fee fraud advance of perihelion advances advantage advection adventitious adventive cone adventurine adverbial theory adverbs adverse selection adverse supply shock advert auction advert exchange advertisement filter