These lectures introduce hybrid logic, a form of modal logic in which it is possible to name worlds (or times, or computational states, or situations, or nodes in parse trees, or people --- indeed, whatever it is that the elements of Kripke Models are taken to represent).

The course has three major goals. The first is to convey, as clearly as possible, the ideas and intuitions that have guided the development of hybrid logic. The second is to introduce a concrete skill: tableau-based hybrid deduction. The third is to say a little about the history of the subject, and to link it to philosophical the work of Arthur Prior. No previous knowledge of hybrid logic is assumed.

The lecture outline is as follows:

Lecture 1: From modal logic to hybrid logic

Lecture 2: Hybrid deduction

Lecture 3: The Priorean perspective

Bibliography:

Arthur Prior and Hybrid Logic, by Patrick Blackburn. Synthese, 150, 329--372, 2006.

Representation, Reasoning, and Relational Structures: a Hybrid Logic Manifesto, by Patrick Blackburn. Logic Journal of the IGPL, 8(3), 339-625, 2000.

Chapter 7, Section 3 of "Modal Logic", by Patrick Blackburn, Maarten de Rijke and Yde Venema. Cambridge Tracts in Theoretical Computer Science, 53, Cambridge University Press, 2001.