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.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Areces C. (2000). ‘Logic Engineering. The Case of Description and Hybrid Logics’. Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam.
C. Areces P. Blackburn M. Marx (2001) ArticleTitle‘Hybrid Logics: Characterization, Interpolation and Complexity’ Journal of Symbolic Logic 66 IssueID3 977–1010 Occurrence Handle10.2307/2695090
Baader F., D. Calvanese D. McGuiness D. Nardi, and P. Patel-Schneider (eds.): (2003). The Description Logic Handbook: Theory, Implementation and Applications, Cambridge University Press.
P. Blackburn (1994) ArticleTitle‘Tense, Temporal Reference and Tense Logic’ Journal of Semantics 11 83–101
P. Blackburn (2000) ArticleTitle‘Representation, Reasoning, and Relational Structures: A Hybrid Logic Manifesto’ Logic Journal of the IGPL 8 339–365 Occurrence Handle10.1093/jigpal/8.3.339
Blackburn P., M. de Rijke, and Y. Venema: (2001). Modal Logic, Cambridge University Press.
P. Blackburn J. Seligman (1995) ArticleTitle‘Hybrid Languages’ Journal of Logic, Language and Information 4 IssueID3 251–272 Occurrence Handle10.1007/BF01049415
Braüner, T.: (2002). ‘Modal Logic, Truth, and the Master Modality’, Journal of Philosophical Logic 31, 359–386. Revised and extended version of paper in Advances in Modal Logic, Volume 3, World Scientific.
R. Bull (1970) ArticleTitle‘An Approach to Tense Logic’ Theoria 36 282–300 Occurrence Handle10.1111/j.1755-2567.1970.tb00428.x
Comrie B. (1981). ‘On Reichenbach’s Approach to Tense’, in Papers from the Seventeenth Regional Meeting, Chicago Linguistics Society. pp. 24–30.
Hasle, P.: (1991). ‘Building a Temporal Logic for Natural Language Understanding with the HOL-system’, In Brown and Koch (eds.), Natural Language Understanding and Logic Programming, III.
Hasle, P.: (1997). ‘Linguistic and Tense-Logical Considerations on the Generality of a Three-Point Structure of Tenses’, In Faye et al. (eds.), Perspectives on Time, Kluwer Academic Publishers.
J. Hintikka (1988) ArticleTitle‘On the Development of the Model-Theoretic Viewpoint in Logical Theory’ Synthese 77 1–36 Occurrence Handle10.1007/BF00869545
Janin D. and I. Walukiewicz: (1996). ‘On the Expressive Completeness of the Propositional Mu-calculus with Respect to Second Order Logic’. In Proceedings CONCUR ’96, Vol. 1119 of Lecture Notes in Computer Science, Springer, pp. 263–277.
D. Kozen (1983) ArticleTitle‘Results on the Propositional Mu-calculus’ Theoretical Computer Science 27 333–354 Occurrence Handle10.1016/0304-3975(82)90125-6
Kripke, S.: (1981). Naming and Necessity, Basil Blackwell.
Øhrstrøm, P.: (1988). Nogle aspekter af tidsbegrebets rolle i de eksakte videnskaber med særligt henblik på logikken, Aalborg University Press.
P. Øhrstrøm P. Hasle (1993) ArticleTitle‘A. N. Prior’s Rediscovery of Tense Logic’ Erkenntnis 39 23–50 Occurrence Handle10.1007/BF01128202
Øhrstrøm P. and P. Hasle (1995). Temporal Logic, Kluwer Academic Publishers.
S. Passy T. Tinchev (1991) ArticleTitle‘An Essay in Combinatory Dynamic Logic’ Information and Computation 93 IssueID2 263–332 Occurrence Handle10.1016/0890-5401(91)90026-X
Prior, A.: (1967). Past, Present and Future, Oxford University Press.
Prior, A.: (1968). Papers on Time and Tense, Oxford University Press.
Prior, A.: (2003). Hasle, Øhrstrøm, Braüner, and Copeland, Papers on Time and Tense, New edition, Oxford University Press.
Prior, A. and K. Fine: (1977). Worlds, Times and Selves, University of Massachusetts Press.
H. Reichenbach (1947) Elements of Symbolic Logic Random House New York
Schild, K.: (1991). ‘A Correspondence Theory for Terminological Logics’, in Proceedings of the 12th IJCAI, pp. 466–471.
ten Cate, B.: (2004). ‘Model Theory for Extended Modal Languages’, Ph.D. thesis, Institute for Logic, Language and Computation, University of Amsterdam.
van Benthem, J.: (1983). Modal Logic and Classical Logic, Bibliopolis, Naples.
van Benthem, J.: (1991). The Logic of Time, 2nd edn Kluwer Academic Publishers, second edition.
van Benthem, J.: (2001). ‘Correspondence Theory’, In D. Gabbay and F. Guenthner (eds.), Handbook of Philosophical Logic, 2nd edn, Vol. 3, Kluwer Academic Publishers, pp. 325–408.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Blackburn, P. Arthur Prior and Hybrid Logic. Synthese 150, 329–372 (2006). https://doi.org/10.1007/s11229-005-5512-y
Issue Date:
DOI: https://doi.org/10.1007/s11229-005-5512-y