Arthur Prior and hybrid logic

Patrick Blackburn

pp. 329-372

in: Torben Brauner, Per V. Hasle, Peter Øhrstrøm (eds), The logic of time and modality, Synthese 150 (3), 2006.

Abstract

Contemporary hybrid logic is based on the idea of using formulas as terms, an idea invented and explored by Arthur Prior in the mid-1960s. But Prior’s own work on hybrid logic remains largely undiscussed. This is unfortunate, since hybridisation played a role that was both central to and problematic for his philosophical views on tense. In this paper I introduce hybrid logic from a contemporary perspective, and then examine the role it played in Prior’s work.

Cited authors

Prior Arthur N