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.
Type de document :
Article dans une revue
Synthese, Springer Verlag (Germany), 2006, 150 (3), pp.329-372. 〈10.1007/s11229-005-5512-y〉
Liste complète des métadonnées

https://hal.inria.fr/inria-00119854
Contributeur : Patrick Blackburn <>
Soumis le : mardi 12 décembre 2006 - 13:15:27
Dernière modification le : jeudi 11 janvier 2018 - 06:19:48

Identifiants

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〉

Partager

Métriques

Consultations de la notice

214