J.C.C. McKinsey, "On the syntactic construction of systems of modal logic", Journal of Symbolic Logic, 10(1945), pp. 83-94.  Home/Search   Document Not in Database   Summary   Related Articles

....no wonder some of them define rather bizzare topological properties. Nevertheless, if not entirely transparent and immediate to the intuition, some of the modal formulas still define interesting classes of spaces. A good example is the McKinsey formula ### ###. This formula first appeared in [McKinsey 1945] where the author baptized the corresponding extension of S4 as S4.1. It is known that in the presence of transitivity the McKinsey formula means atomicity for frames, i.e. every point sees a reflexive maximum: #x#y(Rxy #z(Ryz # y=z) The topological counterpart of this property can be ....

J.C.C. McKinsey, "On the syntactic construction of systems of modal logic", Journal of Symbolic Logic, 10(1945), pp. 83-94.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC