Skip to Main content Skip to Navigation
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 metadatas

https://hal.inria.fr/inria-00119854
Contributor : Patrick Blackburn <>
Submitted on : Tuesday, December 12, 2006 - 1:15:27 PM
Last modification on : Thursday, January 11, 2018 - 6:19:48 AM

Links full text

Identifiers

Collections

Citation

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

Share

Metrics

Record views

357