Higher-order Logic

&
Journal of Symbolic Logic 54 (3):1090-1092 (1989)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.2307/2274769

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,386

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Review: Johan van Benthem, Kees Doets, Higher-order Logic. [REVIEW]Kim Bruce - 1989 - Journal of Symbolic Logic 54 (3):1090-1092.
System description: { A higher-order theorem prover?Michael Kohlhase - manuscript
Ultraproducts and Higher Order Formulas.Gábor Sági - 2002 - Mathematical Logic Quarterly 48 (2):261-275.
Topological completeness for higher-order logic.S. Awodey & C. Butz - 2000 - Journal of Symbolic Logic 65 (3):1168-1182.
Properties and the Interpretation of Second-Order Logic.B. Hale - 2013 - Philosophia Mathematica 21 (2):133-156.
Higher-order semantics and extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027-1088.
CERES in higher-order logic.Stefan Hetzl, Alexander Leitsch & Daniel Weller - 2011 - Annals of Pure and Applied Logic 162 (12):1001-1034.
Higher-order automated theorem proving.Michael Kohlhase - unknown
Higher-Order Semantics and Extensionality.Christoph Benzmüller, Chad E. Brown & Michael Kohlhase - 2004 - Journal of Symbolic Logic 69 (4):1027 - 1088.
Higher-Order Modal Logic—A Sketch.Melvin Fitting - unknown
Higher Order Modal Logic.Reinhard Muskens - 2006 - In Patrick Blackburn, Johan Van Benthem & Frank Wolter (eds.), Handbook of Modal Logic. Elsevier. pp. 621-653.
A dilemma for higher-order theories of consciousness.Isabel Gois - 2010 - Philosophia 38 (1):143-156.
Supervenience, goodness, and higher-order universals.Graham Oddie - 1991 - Australasian Journal of Philosophy 69 (1):20 – 47.
A Consistent Higher‐Order Theory Without a (Higher‐Order) Model.Thomas Forster - 1989 - Mathematical Logic Quarterly 35 (5):385-386.
Foundations without foundationalism: a case for second-order logic.Stewart Shapiro - 1991 - New York: Oxford University Press.

Analytics

Added to PP
2015-02-05

Downloads
41 (#380,229)

6 months
13 (#184,769)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

The metaphysics of quantity.Brent Mundy - 1987 - Philosophical Studies 51 (1):29 - 54.
Logical constants across varying types.Johan van Benthem - 1989 - Notre Dame Journal of Formal Logic 30 (3):315-342.
Independence friendly logic.Tero Tulenheimo - 2010 - Stanford Encyclopedia of Philosophy.

View all 10 citations / Add more citations

References found in this work

No references found.

Add more references