Skip to Main content Skip to Navigation
New interface
Journal articles

Arthur Prior and Hybrid Logic

Patrick Blackburn 1 
1 LANGUE ET DIALOGUE - Human-machine dialogue with a significant language component
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
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.
Document type :
Journal articles
Complete list of metadata
Contributor : Patrick Blackburn Connect in order to contact the contributor
Submitted on : Tuesday, December 12, 2006 - 1:15:27 PM
Last modification on : Friday, February 4, 2022 - 3:21:40 AM

Links full text




Patrick Blackburn. Arthur Prior and Hybrid Logic. Synthese, 2006, 150 (3), pp.329-372. ⟨10.1007/s11229-005-5512-y⟩. ⟨inria-00119854⟩



Record views