Steen, Alexander ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Benzmüller, Christoph ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
External co-authors :
yes
Language :
English
Title :
TPTP and Beyond: Representation of Quantified Non-Classical Logics
Publication date :
December 2016
Event name :
2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016)
Event place :
Coimbra, Portugal
Event date :
July 1, 2016
Audience :
International
Main work title :
ARQNL 2016. Automated Reasoning in Quantified Non-Classical Logics
C. A. Anderson. Some emendations of Gödel's ontological proof. Faith and Philosophy, 7(3), 1990.
N. D. Belnap. A useful four-valued logic. In G. Epstein and J. M. Dunn, editors, Modern Uses of Multiple-Valued Logic, pages 7-37. Reidel Publishing Company, Boston, 1977.
C. Benzmüller. Automating quantified conditional logics in HOL. In F. Rossi, editor, 23rd International Joint Conference on Artificial Intelligence (IJCAI-13), pages 746-753, Beijing, China, 2013.
C. Benzmüller, L. C. Paulson, N. Sultana, and F. Theiß. The higher-order prover LEO-II. Journal of Automated Reasoning, 55(4):389-404, 2015.
C. Benzmüller and B. Woltzenlogel Paleo. The inconsistency in Gödel's ontological argument: A success story for AI in metaphysics. In IJCAI 2016, 2016.
Christoph Benzmüller and Lawrence Paulson. Multimodal and intuitionistic logics in simple type theory. The Logic Journal of the IGPL, 18(6):881-892, 2010.
Christoph Benzmüller and Lawrence Paulson. Quantified multimodal logics in simple type theory. Logica Universalis (Special Issue on Multimodal Logics), 7(1):7-20, 2013.
Christoph Benzmüller and Dana Scott. Automating free logic in Isabelle/HOL. In G.-M. Greuel, T. Koch, P. Paule, and A. Sommese, editors, Mathematical Software - ICMS 2016, 5th International Congress, Proceedings, volume 9725 of LNCS, Berlin, Germany, 2016. Springer. To appear.
Christoph Benzmüller and Bruno Woltzenlogel Paleo. Higher-order modal logics: Automation and applications. In Adrian Paschke and Wolfgang Faber, editors, Reasoning Web 2015, number 9203 in LNCS, pages 32-74, Berlin, Germany, 2015. Springer.
P Blackburn. Representation, reasoning, and relational structures: a hybrid logic manifesto. Logic Journal of IGPL, 8(3):339-365, 2000.
C.E. Brown. Satallax: An automated higher-order prover. In B. Gramlich, D. Miller, and U. Sattler, editors, Proc. of IJCAR 2012, volume 7364 of LNAI, pages 111-117. Springer, 2012.
A. Church. A formulation of the simple theory of types. Journal of Symbolic Logic, 5:56-68, 1940.
J.P. Delgrande. On first-order conditional logics. Artificial Intelligence, 105(1-2):105-137, 1998.
M. Fitting and R.L. Mendelsohn. First-Order Modal Logic. Synthese Library Studies in Epistemology Logic, Methodology, and Philosophy of Science Volume 277. Springer, 1998.
N. Friedman, J.Y. Halpern, and D. Koller. First-order conditional logic for default reasoning revisited. ACM Transactions on Computational Logic, 1(2):175-207, 2000.
K. Gödel. Über formal unentscheidbare Sätze der Principia Mathematica und verwandter Systeme. Monatshefte für Mathematik und Physik, 38(1):173-198, 1931.
R. Goldblatt. Mathematical modal logic: a view of its evolution. Journal of Applied Logic, 1(5):309-392, 2003.
L. Henkin. Completeness in the theory of types. Journal Symbolic Logic, 15(2):81-91, 1950.
F. Lindblad. agsyHol website. https://github.com/frelindb/agsyHOL, 2012.
Reinhard Muskens. Higher order modal logic. Handbook of modal logic, 3, 2007.
T. Nipkow, L.C. Paulson, and M. Wenzel. Isabelle/HOL: A Proof Assistant for Higher-Order Logic. Number 2283 in LNCS. Springer, 2002.
J. Nolt. Free logic. In E. N. Zalta, editor, The Stanford Encyclopedia of Philosophy. Winter 2014 edition, 2014.
D. Nute. Topics in conditional logic. Reidel, Dordrecht, 1980.
S. P. Odintsov. On Axiomatizing Shramko-Wansing's Logic. Studia Logica, 91(3):407-428, 2009.
J. Otten. MleanCoP: A Connection Prover for First-Order Modal Logic. In S. Demri, D. Kapur, and C. Weidenbach, editors, Automated Reasoning: 7th International Joint Conference, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19-22, 2014. Proceedings, pages 269-276, Cham, 2014. Springer.
T. Raths and J. Otten. The QMLTP Problem Library for First-Order Modal Logics. In B. Gramlich, D. Miller, and U. Sattler, editors, IJCAR 2012, volume 7364 of LNCS, pages 454-461. Springer, 2012.
D. Scott. Existence and description in formal logic. In R. Schoenman, editor, Bertrand Russell: Philosopher of the Century, pages 181-200. George Allen & Unwin, London, 1967.
Y. Shramko and H. Wansing. Some useful 16-valued logics: How a computer network should think. Journal of Philosophical Logic, 34(2):pp. 121-153, 2005.
Y. Shramko and H. Wansing. Truth and Falsehood: An Inquiry into Generalized Logical Values. Trends in Logic. Springer Netherlands, 2011.
R.C. Stalnaker. A theory of conditionals. In Studies in Logical Theory, pages 98-112. Blackwell, 1968.
A. Steen and C. Benzmüller. Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic. In 7th International Conference Non-Classical Logic - Theory and Applications, Toruñ, Poland, 2015.
A. Steen, M. Wisniewski, and C. Benzmüller. Agent-based HOL reasoning. In G.-M. Greuel, T. Koch, P. Paule, and A. Sommese, editors, The 5th International Congress on Mathematical Software (ICMS 2016), volume 9725 of LNCS, Berlin, Germany, 2016. Springer. To appear.
G. Sutcliffe. The TPTP problem library and associated infrastructure. J. Autom. Reasoning, 43(4):337-362, 2009.
G. Sutcliffe and C. Benzmüller. Automated reasoning in higher-order logic using the TPTP THF infrastructure. Journal of Formalized Reasoning, 3(1):1-27, 2010.
M. Wisniewski and A. Steen. Embedding of Quantified Higher-Order Nominal Modal Logic into Classical Higher-Order Logic. In C. Benzmüller and J. Otten, editors, 1st International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2014) Vienna, Austria, Proceedings, volume 33 of EasyChair Proceedings in Computing, pages 59-64. EasyChair, 2014.