{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,26]],"date-time":"2025-12-26T14:26:21Z","timestamp":1766759181243,"version":"build-2065373602"},"reference-count":55,"publisher":"Elsevier","isbn-type":[{"type":"print","value":"9780444516909"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/legal\/tdmrep-license"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1016\/s1570-2464(07)80013-9","type":"book-chapter","created":{"date-parts":[[2007,10,4]],"date-time":"2007-10-04T09:38:50Z","timestamp":1191490730000},"page":"621-653","source":"Crossref","is-referenced-by-count":11,"title":["10 Higher order modal logic"],"prefix":"10.1016","member":"78","reference":[{"issue":"3","key":"10.1016\/S1570-2464(07)80013-9_bib1","doi-asserted-by":"crossref","first-page":"414","DOI":"10.2307\/2269949","article-title":"Resolution in Type Theory","volume":"36","author":"Andrews","year":"1971","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"10.1016\/S1570-2464(07)80013-9_bib2","doi-asserted-by":"crossref","first-page":"395","DOI":"10.2307\/2272982","article-title":"General Models and Extensionality","volume":"37]","author":"Andrews","year":"1972","journal-title":"Journal of Symbolic Logic"},{"year":"1986","series-title":"An Introduction to Mathematical Logic and Type Theory, to Truth through Proof","author":"Andrews","key":"10.1016\/S1570-2464(07)80013-9_bib3"},{"year":"1981","series-title":"The Lambda Calculus, its Syntax and Semantics","author":"Barendrecht","key":"10.1016\/S1570-2464(07)80013-9_bib4"},{"key":"10.1016\/S1570-2464(07)80013-9_bib5","first-page":"51","article-title":"The Semantics and Syntax of Number and Numbers","volume":"vol. 2","author":"Bartsch","year":"1973"},{"article-title":"Some Extensions of a Montague Fragment of English","year":"1974","author":"Bennett","key":"10.1016\/S1570-2464(07)80013-9_bib6"},{"year":"1986","series-title":"Essays in Logical Semantics","author":"van Benthem","key":"10.1016\/S1570-2464(07)80013-9_bib7"},{"key":"10.1016\/S1570-2464(07)80013-9_bib8","first-page":"275","article-title":"Higher-Order Logic","volume":"Vol. I","author":"van Benthem","year":"1983"},{"key":"10.1016\/S1570-2464(07)80013-9_bib9","doi-asserted-by":"crossref","DOI":"10.2178\/jsl\/1102022211","article-title":"Higher Order Semantics and Extensionality","volume":"69","author":"Benzmuller","year":"2004","journal-title":"Journal of Symbolic Logic"},{"year":"2001","series-title":"Modal Logic","author":"Blackburn","key":"10.1016\/S1570-2464(07)80013-9_bib10"},{"year":"1972","series-title":"A General Interpreted Modal Calculus","author":"Bressan","key":"10.1016\/S1570-2464(07)80013-9_bib11"},{"key":"10.1016\/S1570-2464(07)80013-9_bib12","doi-asserted-by":"crossref","first-page":"257","DOI":"10.2307\/2271102","article-title":"On Modal Logic with Propositional Quantifiers","volume":"34","author":"Bull","year":"1969","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80013-9_bib13","unstructured":"B. ten Cate. Expressivity of Second-order Modal Logic. Journal of Philosophical Logic, to appear."},{"key":"10.1016\/S1570-2464(07)80013-9_bib14","doi-asserted-by":"crossref","first-page":"56","DOI":"10.2307\/2266170","article-title":"A Formulation of the Simple Theory of Types","volume":"5","author":"Church","year":"1940","journal-title":"Journal of Symbolic Logic"},{"year":"1981","series-title":"Introduction to Montague Semantics","author":"Dowty","key":"10.1016\/S1570-2464(07)80013-9_bib15"},{"key":"10.1016\/S1570-2464(07)80013-9_bib16","doi-asserted-by":"crossref","first-page":"336","DOI":"10.1111\/j.1755-2567.1970.tb00432.x","article-title":"Propositional Quantifiers in Modal Logic","volume":"36","author":"Fine","year":"1970","journal-title":"Theoria"},{"year":"1996","series-title":"First-Order Logic and Automated Theorem Proving","author":"Fitting","key":"10.1016\/S1570-2464(07)80013-9_bib17"},{"issue":"2","key":"10.1016\/S1570-2464(07)80013-9_bib18","doi-asserted-by":"crossref","first-page":"621","DOI":"10.2178\/jsl\/1190150101","article-title":"Interpolation for First Order S5","volume":"67]","author":"Fitting","year":"2002","journal-title":"Journal of Symbolic Logic"},{"year":"2002","series-title":"ypes, Tableaus, and Godels God","author":"Fitting","key":"10.1016\/S1570-2464(07)80013-9_bib19"},{"year":"2005","series-title":"Foundations of Intensional Semantics","author":"Fox","key":"10.1016\/S1570-2464(07)80013-9_bib20"},{"key":"10.1016\/S1570-2464(07)80013-9_bib21","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BF00370327","article-title":"Lambda Normal Forms in an Intensional Logic for English","volume":"39","author":"Friedman","year":"1980","journal-title":"Studia Logica"},{"year":"1975","series-title":"Intensional and Higher-Order Modal Logic","author":"Gallin","key":"10.1016\/S1570-2464(07)80013-9_bib22"},{"year":"1991","series-title":"Logic, Language and Meaning","author":"Gamut","key":"10.1016\/S1570-2464(07)80013-9_bib23"},{"key":"10.1016\/S1570-2464(07)80013-9_bib24","series-title":"Kurt Godel Collected Works, Volume III, Unpublished Essays and Lectures","first-page":"403","article-title":"Ontological Proof","author":"Godel","year":"1995"},{"key":"10.1016\/S1570-2464(07)80013-9_bib25","series-title":"Association for Computational Lin- guistics, 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference","first-page":"148","article-title":"Towards Abstract Categorial Grammars","author":"de Groote","year":"2001"},{"key":"10.1016\/S1570-2464(07)80013-9_bib26","series-title":"Categories, Polymorphism, and Unification","first-page":"95","article-title":"Type Change in Semantics, the Scope of Quantification and Coordination","author":"Hendriks","year":"1988"},{"article-title":"Studied Flexibility, Categories and Types in Syntax and Semantics","year":"1993","author":"Hendriks","key":"10.1016\/S1570-2464(07)80013-9_bib27"},{"key":"10.1016\/S1570-2464(07)80013-9_bib28","doi-asserted-by":"crossref","first-page":"81","DOI":"10.2307\/2266967","article-title":"Completeness in the Theory of Types","volume":"15","author":"Henkin","year":"1950","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80013-9_bib29","doi-asserted-by":"crossref","first-page":"323","DOI":"10.4064\/fm-52-3-323-344","article-title":"A Theory of Propositional Types","volume":"52","author":"Henkin","year":"1963","journal-title":"Fundamenta Mathematicae"},{"key":"10.1016\/S1570-2464(07)80013-9_bib30","first-page":"355","article-title":"S5 with Quantifiable Propositional Variables","volume":"35","author":"Kaplan","year":"1970","journal-title":"Journal of Symbolic Logic"},{"issue":"4","key":"10.1016\/S1570-2464(07)80013-9_bib31","doi-asserted-by":"crossref","first-page":"1057","DOI":"10.2307\/2275626","article-title":"Defining Relevant Implication in a Propositionally Quantified S4","volume":"62","author":"Kremer","year":"1997","journal-title":"Journal of Symbolic Logic"},{"issue":"2","key":"10.1016\/S1570-2464(07)80013-9_bib32","doi-asserted-by":"crossref","first-page":"529","DOI":"10.2307\/2275545","article-title":"On the Complexity of Propositional Quantification in Intuitionistic Logic","volume":"62","author":"Kremer","year":"1997","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80013-9_bib33","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2307\/2964568","article-title":"A Completenes Theorem in Modal Logic","volume":"24","author":"Kripke","year":"1959","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80013-9_bib34","series-title":"Handbook of Logic and Language","first-page":"1009","article-title":"Plurals and Collectivity","author":"L0nning","year":"1997"},{"key":"10.1016\/S1570-2464(07)80013-9_bib35","doi-asserted-by":"crossref","first-page":"161","DOI":"10.5840\/monist19695327","article-title":"On the Nature of Certain Philosophical Entities","volume":"53","author":"Montague","year":"1969","journal-title":"Monist"},{"key":"10.1016\/S1570-2464(07)80013-9_bib36","series-title":"Linguaggi nella Societ\u00e0e nella Tecnica","first-page":"189","article-title":"English as a Formal Language","author":"Montague","year":"1970"},{"key":"10.1016\/S1570-2464(07)80013-9_bib37","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","article-title":"Universal Grammar","volume":"36","author":"Montague","year":"1970","journal-title":"Theoria"},{"key":"10.1016\/S1570-2464(07)80013-9_bib38","series-title":"Approaches to Natural Language","first-page":"221","article-title":"The Proper Treatment of Quantification in Ordinary English","author":"Montague","year":"1973"},{"year":"1995","series-title":"Meaning and Partiality","author":"Muskens","key":"10.1016\/S1570-2464(07)80013-9_bib39"},{"key":"10.1016\/S1570-2464(07)80013-9_bib40","series-title":"Proceedings of the LFG01 Conference, University of Hong Kong","first-page":"259","article-title":"Categorial Grammar and Lexical-Functional Grammar","author":"Muskens","year":"2001"},{"key":"10.1016\/S1570-2464(07)80013-9_bib41","series-title":"Resource Sensitivity in Binding and Anaphora","first-page":"23","article-title":"Language, Lambdas, and Logic","author":"Muskens","year":"2003"},{"key":"10.1016\/S1570-2464(07)80013-9_bib42","doi-asserted-by":"crossref","first-page":"72","DOI":"10.1090\/S0002-9947-1959-0107600-8","article-title":"Model Theory for the Higher Order Predicate Calculus","volume":"92","author":"Orey","year":"1959","journal-title":"Transactions of the American Mathematical Society"},{"key":"10.1016\/S1570-2464(07)80013-9_bib43","series-title":"Handbook of Logic and Language","first-page":"5","article-title":"Montague Grammar","author":"Partee","year":"1997"},{"key":"10.1016\/S1570-2464(07)80013-9_bib44","series-title":"Meaning, Use and Interpretation of Language","first-page":"361","article-title":"Generalized Conjunction and Type Ambiguity","author":"Partee","year":"1983"},{"issue":"3","key":"10.1016\/S1570-2464(07)80013-9_bib45","doi-asserted-by":"crossref","first-page":"452","DOI":"10.2307\/2270331","article-title":"Hauptsatz for Higher Order Logic","volume":"33","author":"Prawitz","year":"1968","journal-title":"Journal of Symbolic Logic"},{"key":"10.1016\/S1570-2464(07)80013-9_bib46","doi-asserted-by":"crossref","first-page":"222","DOI":"10.2307\/2369948","article-title":"Mathematical Logic as Based on the Theory of Types","volume":"30","author":"Russell","year":"2008","journal-title":"American Journal of Mathematics"},{"issue":"4","key":"10.1016\/S1570-2464(07)80013-9_bib47","doi-asserted-by":"crossref","first-page":"305","DOI":"10.2307\/2963525","article-title":"Syntactical and Semantical Properties of Simple Type Theory","volume":"25","author":"Sch\u25b5te","year":"1960","journal-title":"Journal of Symbolic Logic"},{"year":"1968","series-title":"First-Order Logic","author":"Smullyan","key":"10.1016\/S1570-2464(07)80013-9_bib48"},{"issue":"4","key":"10.1016\/S1570-2464(07)80013-9_bib49","first-page":"399","article-title":"A Proof of Cut-elimination Theorem in Simple Type Theory","volume":"19","author":"Takahashi","year":"1967","journal-title":"Journal of the Mathe-matical Society of Japan"},{"issue":"1","key":"10.1016\/S1570-2464(07)80013-9_bib50","doi-asserted-by":"crossref","first-page":"150","DOI":"10.2307\/2272558","article-title":"A semantic analysis of tense logics","volume":"37","author":"Thomason","year":"1972","journal-title":"Journal of Symbolic Logic"},{"year":"1974","series-title":"Formal Philosophy, Selected Papers of Richard Montague","key":"10.1016\/S1570-2464(07)80013-9_bib51"},{"key":"10.1016\/S1570-2464(07)80013-9_bib52","unstructured":"A.N. Whitehead, B. Russell, Principia Mathematica, Cambridge University Press, 1910-1913"},{"year":"1983","series-title":"Abstract Objects, An Introduction to Axiomatic Metaphysics","author":"Zalta","key":"10.1016\/S1570-2464(07)80013-9_bib53"},{"year":"1988","series-title":"Intensional Logic and the Metaphysics of Intentionality","author":"Zalta","key":"10.1016\/S1570-2464(07)80013-9_bib54"},{"key":"10.1016\/S1570-2464(07)80013-9_bib55","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1007\/BF00635757","article-title":"A Comparison of Two Intensional Logics","volume":"11","author":"Zalta","year":"1988","journal-title":"Linguistics and Philosophy"}],"container-title":["Studies in Logic and Practical Reasoning","Handbook of Modal Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800139?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S1570246407800139?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T23:14:32Z","timestamp":1761606872000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S1570246407800139"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9780444516909"],"references-count":55,"URL":"https:\/\/doi.org\/10.1016\/s1570-2464(07)80013-9","relation":{},"ISSN":["1570-2464"],"issn-type":[{"type":"print","value":"1570-2464"}],"subject":[],"published":{"date-parts":[[2007]]}}}