■ Abstract The sociological, economic, political, and anthropological literatures are devoting increasing attention to globalization. This chapter discusses the various connotations of the term and puts it in historical perspective. Existing theoretical and empirical research on globalization is organized around five key issues or questions: Is it really happening? Does it produce convergence? ...

We present non-clausal resolution systems for propositional modal logics whose Kripke models do not involve symmetry, and for first order versions whose Kripke models do not involve constant domains. We give systems for K, T , K4 and S4; other logics are also possible. Our systems do not require preliminary reduction to a normal form and, in the first order case, intermingle resolution steps wi...