This paper examines the way in which ‘authority’ and ‘authoritarianism’ have been confl ated in contemporary philosophical thought. More specifi cally, it will show how the psycho-social critique of political authority developed by the Frankfurt School in the 1930s established a paradigm for the critique of political authority as ‘authoritarian irrationalism’. The paper goes on to explore the l...

We give a linear-time algorithm to translate any formula from computation tree logic (CTL or CTL*) into an equivalent expression in a variable-connned fragment of transitive-closure logic FO(TC). Traditionally, CTL and CTL ? have been used to express queries for model checking and then translated into-calculus for symbolic evaluation. Evaluation of-calculus formulas is, however, complete for ti...