From the Publisher:
Among the many approaches to formal reasoning about programs, Dynamic Logic enjoys the singular advantage of being strongly related to classical logic. Its variants constitute natural generalizations and extensions of classical formalisms. For example, Propositional Dynamic Logic (PDL) can be described as a blend of three complementary classical ingredients: propositional calculus, modal logic, and the algebra of regular events. In First-Order Dynamic Logic (DL), the propositional calculus is replaced by classical first-order predicate calculus. Dynamic Logic is a system of remarkable unity that is theoretically rich as well as of practical value. It can be used for formalizing correctness specifications and proving rigorously that those specifications are met by a particular program. Other uses include determining the equivalence of programs, comparing the expressive power of various programming constructs, and synthesizing programs from specifications. 
This book provides the first comprehensive introduction to Dynamic Logic. It is divided into three parts. The first part reviews the appropriate fundamental concepts of logic and computability theory and can stand alone as an introduction to these topics. The second part discusses PDL and its variants, and the third part discusses DL and its variants. Examples are provided throughout, and exercises and a short historical section are included at the end of each chapter.

Dynamic Logic

The concept of habitus lies at the heart of Bourdieu's theoretical framework. It is a complex concept that takes many shapes and forms in Bourdieu's own writing, even more so in the wider sociological work of other academics. In the first part of this paper I develop an understanding of habitus, based on Bourdieu's many writings on the concept, that recognizes both its permeability and its ability to capture continuity and change. I also map its relationship to Bourdieu's other concepts, in particular field and cultural capital. In the second part of the paper I examine attempts to operationalize habitus in empirical research in education. I critique the contemporary fashion of overlaying research analyses with Bourdieu's concepts, including habitus, rather than making the concepts work in the context of the data and the research settings. In the final part of the paper I draw on a range of research examples that utilize habitus as a research tool to illustrate how habitus can be made to work in education...

https://www.jstor.org/stable/pdfplus/4128669.pdf

‘It's all becoming a habitus’: beyond the habitual use of habitus in educational research

The analysis in this paper has its origins in a critical account of the sociology of education (Bernstein, 1975) where the various approaches to the study of sociology were taken as the distinguishing feature of the discourse. This matter was further developed (Bernstein, 1996), with the distinction between vertical and horizontal discourses and their various modalities introduced in the context of differentiating this mode of analysis from more 'Bourdieuan' perspectives. This present paper is concerned with filling out and extending the sketches adumbrated in earlier work in a more accessible form. The model proposed generates a language which relates the internal structure of specialised knowledges, the positional nature of their fields or arenas of practice, identity constructions and their change, and the forms of acquisition for successful performances.

Vertical and Horizontal Discourse: An essay

This review discusses North American and European research from the sociology of valuation and evaluation (SVE), a research topic that has attracted considerable attention in recent years. The goal is to bring various bodies of work into conversation with one another in order to stimulate more cumulative theory building. This is accomplished by focusing on (a) subprocesses such as categorization and legitimation, (b) the conditions that sustain heterarchies, and (c) valuation and evaluative practices. The article reviews these literatures and provides directions for a future research agenda.

/pdf/toward-a-comparative-sociology-of-valuation-and-evaluation-t8biynrdss.pdf

Toward a Comparative Sociology of Valuation and Evaluation

Summary. Gentrification involves the transition of inner-city neighbourhoods from a status of relative poverty and limited property investment to a state of commodification and reinvestment. This paper reconsiders the role of artists as agents, and aestheticisation as a process, in contributing to gentrification, an argument illustrated with empirical data from Toronto, Montreal and Vancouver. Because some poverty neighbourhoods may be candidates for occupation by artists, who value their affordability and mundane, off-centre status, the study also considers the movement of districts from a position of high cultural capital and low economic capital to a position of steadily rising economic capital. The paper makes extensive use of Bourdieu’s conceptualisation of the field of cultural production, including his discussion of the uneasy relations of economic and cultural capitals, the power of the aesthetic disposition to valorise the mundane and the appropriation of cultural capital by market forces. Bourdieu’s thinking is extended to the field of gentrification in an account that interprets the enhanced valuation of cultural capital since the 1960s, encouraging spatial proximity by other professionals to the inner-city habitus of the artist. This approach offers some reconciliation to theoretical debates in the gentrification literature about the roles of structure and agency and economic and cultural explanations. It also casts a more critical historical perspective on current writing lauding the rise of the cultural economy and the creative city. Two recent vignettes illustrate how gentrification has become not a sideshow in the city, but a major component of the urban imaginary (see Wyly and Hammel, 1999; Badcock, 2001). Richard Florida, author of The Rise of the Creative Class (2002a), a book eagerly embraced by mayors and economic development planners in the US (Eakin, 2002), visited Toronto in June 2002 and expounded on what makes successful cities work

Gordon Fyfe

Papers

The Field of Cultural Production