This text is dedicated to Dov Gabbay, an outstanding researcher in the area of logic, language and reasoning. The chapters build on his work and summarize areas where he made major contributions. In particular his work on Labelled Deductive Systems is addressed in most of the contributions.