Combining and Automating Classical and Non-Classical Logics in Classical Higher-Order Logic

Annals of Mathematics and Artificial Intelligence) 62 (1-2):103-128 (2011)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Add categories

Keywords

Reprint years

Other Versions

No versions found

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 101,247

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

Embedding and Automating Conditional Logics in Classical Higher-Order Logic.Christoph Benzmüller, Dov Gabbay, Valerio Genovese & Daniele Rispoli - 2012 - Annals of Mathematics and Artificial Intelligence 66 (1-4):257-271.
Verifying the Modal Logic Cube is an Easy Task.Christoph Benzmüller - 2010 - In Simon Siegler & Nathan Wasser (eds.), Verification, Induction, Termination Analysis - Festschrift for Christoph Walther on the Occasion of His 60th Birthday. Springer. pp. 117-128.
Higher-order Aspects and Context in SUMO.Christoph Benzmüller & Adam Pease - 2012 - Journal of Web Semantics 12:104-117.
Automated Proof Search in Non-classical Logics: Efficient Matrix Proof Methods for Modal and Intuitionistic Logics.Lincoln A. Wallen - 1990 - MIT Press (MA).
Automated reasoning in higher-order logic using the tptp thf infrastructure.Sutcliffe Geoff & Benzmüller Christoph - 2010 - Journal of Formalized Reasoning 3 (1):1-27.
Arnon Avron on Semantics and Proof Theory of Non-Classical Logics.Ofer Arieli & Anna Zamansky (eds.) - 2021 - Springer Verlag.
Computer-Assisted Analysis of the Anderson-Hájek Controversy.Benzmüller Christoph, Weber Leon & Woltzenlogel Paleo Bruno - 2017 - Logica Universalis 11 (1):139-151.
Equality and Extensionality in Higher-Order Theorem Proving.Benzmüller Christoph - 1999 - Dissertation, Naturwissenschaftlich-Technische Fakultät I, Saarland University, Saarbrücken, Germany
Multimodal and intuitionistic logics in simple type theory.Christoph Benzmueller & Lawrence Paulson - 2010 - Logic Journal of the IGPL 18 (6):881-892.
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.

Analytics

Added to PP
2017-12-04

Downloads
28 (#798,682)

6 months
3 (#1,470,822)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Christoph Benzmueller
Freie Universität Berlin

Citations of this work

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.
Cut-Elimination for Quantified Conditional Logic.Christoph Benzmüller - 2017 - Journal of Philosophical Logic 46 (3):333-353.

Add more citations

References found in this work

No references found.

Add more references