Authors
Dov Gabbay
Hebrew University of Jerusalem
Christoph Benzmueller
Freie Universität Berlin
Abstract This article has no associated abstract. (fix it)
Keywords own   Higher Order Logic   Semantic Embedding   Conditional Logics   Automated Reasoning
Categories No categories specified
(categorize this paper)
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,668
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

A Formulation of the Simple Theory of Types.Alonzo Church - 1940 - Journal of Symbolic Logic 5 (3):114-115.
Church's Type Theory.Peter Andrews - 2008 - Stanford Encyclopedia of Philosophy.
General Models and Extensionality.Peter B. Andrews - 1972 - Journal of Symbolic Logic 37 (2):395-397.
Theorem Proving for Conditional Logics: CondLean and GOALD U CK.Nicola Olivetti & Gian Luca Pozzato - 2008 - Journal of Applied Non-Classical Logics 18 (4):427-473.

View all 6 references / Add more references

Citations of this work BETA

Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
Higher-Order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.

Add more citations

Similar books and articles

Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.
Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic.Christoph Benzmüller - 2011 - Annals of Mathematics and Artificial Intelligence) 62 (1-2):103-128.
Some Embedding Theorems for Conditional Logic.Ming Xu - 2006 - Journal of Philosophical Logic 35 (6):599-619.
Higher-Order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.
Higher-Order Automated Theorem Provers.Benzmüller Christoph - 2015 - In David Delahaye & Bruno Woltzenlogel Paleo (eds.), All About Proofs, Proof for All. College Publications. pp. 171-214.
The Higher-Order Prover LEO-II.Christoph Benzmüller, Nik Sultana, Lawrence C. Paulson & Frank Theiß - 2015 - Journal of Automated Reasoning 55 (4):389-404.

Analytics

Added to PP index
2017-12-04

Total views
7 ( #966,268 of 2,331,409 )

Recent downloads (6 months)
1 ( #588,490 of 2,331,409 )

How can I increase my downloads?

Downloads

My notes