Graduate studies at Western
Synthese 150 (3):329 - 372 (2006)
|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.|
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
|Through your library||Configure|
Similar books and articles
Torben BraÜner (2005). Natural Deduction for First-Order Hybrid Logic. Journal of Logic, Language and Information 14 (2):173-198.
Tero Tulenheimo (2009). Hybrid Logic Meets If Modal Logic. Journal of Logic, Language and Information 18 (4):559-591.
Christopher Menzel (1991). The True Modal Logic. Journal of Philosophical Logic 20 (4):331 - 374.
H. Kushida & M. Okada (2007). A Proof–Theoretic Study of the Correspondence of Hybrid Logic and Classical Logic. Journal of Logic, Language and Information 16 (1):35-61.
B. Jack Copeland (ed.) (1996). Logic and Reality: Essays on the Legacy of Arthur Prior. Oxford University Press.
A. N. Prior (2003). Papers on Time and Tense. Oxford University Press.
Torben Braüner (2002). Modal Logic, Truth, and the Master Modality. Journal of Philosophical Logic 31 (4):359-386.
Patrick Blackburn (2001). Modal Logic as Dialogical Logic. Synthese 127 (1-2):57 - 93.
Katsuhiko Sano (2009). Hybrid Counterfactual Logics David Lewis Meets Arthur Prior Again. Journal of Logic, Language and Information 18 (4):515-539.
Patrick Blackburn & Maarten Marx (2002). Remarks on Gregory's “Actually” Operator. Journal of Philosophical Logic 31 (3):281-288.
Added to index2009-01-28
Total downloads16 ( #81,814 of 739,348 )
Recent downloads (6 months)1 ( #61,538 of 739,348 )
How can I increase my downloads?