Arthur prior and hybrid logic

Patrick Blackburn*

*Corresponding author for this work

Research output: Contribution to journalJournal articlepeer-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.

Original languageEnglish
JournalSynthese
Volume150
Issue number3
Pages (from-to)329-372
Number of pages44
ISSN0039-7857
DOIs
Publication statusPublished - Jun 2006
Externally publishedYes

Cite this