Arthur prior and hybrid logic

Patrick Blackburn*

*Corresponding author

Publikation: Bidrag til tidsskriftTidsskriftartikelpeer review

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.
OriginalsprogEngelsk
TidsskriftSynthese
Vol/bind150
Udgave nummer3
Sider (fra-til)329-372
Antal sider44
ISSN0039-7857
DOI
StatusUdgivet - jun. 2006
Udgivet eksterntJa

Citer dette