Journal of Philosophical Logic (2-3):1-30 (2013)

Authors
María Manzano
Universidad de Salamanca
Patrick Blackburn
Roskilde University
Abstract
We show that basic hybridization (adding nominals and @ operators) makes it possible to give straightforward Henkin-style completeness proofs even when the modal logic being hybridized is higher-order. The key ideas are to add nominals as expressions of type t, and to extend to arbitrary types the way we interpret $@_i$ in propositional and first-order hybrid logic. This means: interpret $@_i\alpha _a$ , where $\alpha _a$ is an expression of any type $a$ , as an expression of type $a$ that rigidly returns the value that $\alpha_a$ receives at the i-world. The axiomatization and completeness proofs are generalizations of those found in propositional and first-order hybrid logic, and (as is usual inhybrid logic) we automatically obtain a wide range of completeness results for stronger logics and languages. Our approach is deliberately low-tech. We don’t, for example, make use of Montague’s intensional type s, or Fitting-style intensional models; we build, as simply as we can, hybrid logicover Henkin’s logic
Keywords Hybrid logic  Type theory  Higher-order modal logic  Nominals  @ operators
Categories (categorize this paper)
DOI 10.1007/s10992-012-9260-4
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,707
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Generalized Quantifiers and Natural Language.John Barwise & Robin Cooper - 1981 - Linguistics and Philosophy 4 (2):159--219.
Past, Present and Future.Arthur Prior - 1967 - Clarendon Press.
Generalized Quantifiers and Natural Language.Jon Barwise - 1980 - Linguistics and Philosophy 4:159.
The Proper Treatment of Quantification in Ordinary English.Richard Montague - 1973 - In Patrick Suppes, Julius Moravcsik & Jaakko Hintikka (eds.), Approaches to Natural Language. Dordrecht. pp. 221--242.

View all 30 references / Add more references

Citations of this work BETA

The Logic of Imaginary Scenarios.Joan Casas-Roma, Antonia Huertas & M. Elena Rodríguez - 2020 - Logic Journal of the IGPL 28 (3):363-388.
Completeness: From Gödel to Henkin.Maria Manzano & Enrique Alonso - 2014 - History and Philosophy of Logic 35 (1):1-26.
Hybrid Logic as Extension of Modal and Temporal Logic.Daniel Álvarez Domínguez - 2019 - Revista de Humanidades de Valparaíso 13:34-67.

Add more citations

Similar books and articles

Remarks on Gregory's “Actually” Operator.Patrick Blackburn & Maarten Marx - 2002 - Journal of Philosophical Logic 31 (3):281-288.
Natural Deduction for First-Order Hybrid Logic.Torben BraÜner - 2005 - Journal of Logic, Language and Information 14 (2):173-198.
Constructive Interpolation in Hybrid Logic.Patrick Blackburn & Maarten Marx - 2003 - Journal of Symbolic Logic 68 (2):463-480.
Topological Completeness for Higher-Order Logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Hybrid Languages.Patrick Blackburn & Jerry Seligman - 1995 - Journal of Logic, Language and Information 4 (3):251-272.
Resolution Calculus for the First Order Linear Logic.Grigori Mints - 1993 - Journal of Logic, Language and Information 2 (1):59-83.
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.

Analytics

Added to PP index
2013-01-10

Total views
98 ( #93,821 of 2,333,391 )

Recent downloads (6 months)
2 ( #395,985 of 2,333,391 )

How can I increase my downloads?

Downloads

My notes