| Publication | Date of Publication | Type |
|---|
Conditional normative reasoning as a fragment of HOL
Journal of Applied Non-Classical Logics | 2024-12-09 | Paper |
Who finds the short proof?
Logic Journal of the IGPL | 2024-11-15 | Paper |
Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
| 2024-10-14 | Paper |
Mathematical proof between generations
Notices of the American Mathematical Society | 2024-09-26 | Paper |
Supplemental material to "Solving Quantified Modal Logic Problems by Translation to Classical Logics"
| 2024-03-10 | Dataset |
Category theory in Isabelle/HOL as a basis for meta-logical investigation
Lecture Notes in Computer Science | 2024-02-28 | Paper |
Automating public announcement logic with relativized common knowledge as a fragment of HOL in LogiKEy
Journal Of Logic And Computation | 2024-02-08 | Paper |
Solving modal logic problems by translation to higher-order logic
Lecture Notes in Computer Science | 2024-01-16 | Paper |
On Gödel and the Nonexistence of Time – Gödel und die Nichtexistenz der Zeit
| 2023-10-02 | Paper |
scientific article; zbMATH DE number 7699424 (Why is no real title available?)
| 2023-06-20 | Paper |
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint
| 2023-05-24 | Paper |
Positive Free Higher-Order Logic and Its Automation via a Semantical Embedding
| 2023-03-29 | Paper |
Recent successes with a meta-logical approach to universal logical reasoning (extended abstract)
Lecture Notes in Computer Science | 2022-11-04 | Paper |
Automating emendations of the ontological argument in intensional higher-order modal logic
KI 2017: Advances in Artificial Intelligence | 2022-11-02 | Paper |
Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL
| 2022-09-28 | Paper |
I/O logic in HOL
| 2022-09-28 | Paper |
scientific article; zbMATH DE number 7594144 (Why is no real title available?)
| 2022-09-28 | Paper |
Higher-order logic as a lingua franca for logico-pluralist argumentation
| 2022-09-07 | Paper |
Computer-supported analysis of arguments in climate engineering
Lecture Notes in Computer Science | 2022-08-30 | Paper |
Computer-supported exploration of a categorical axiomatization of modeloids
Relational and Algebraic Methods in Computer Science | 2022-08-30 | Paper |
Who Finds the Short Proof? An Exploration of Variants of Boolos' Curious Inference using Higher-order Automated Theorem Provers
| 2022-08-14 | Paper |
A Simplified Variant of G\"odel's Ontological Argument
| 2022-02-13 | Paper |
Public announcement logic in HOL
| 2021-12-01 | Paper |
Extensional higher-order paramodulation in Leo-III
Journal of Automated Reasoning | 2021-11-23 | Paper |
Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
Artificial Intelligence | 2020-11-16 | Paper |
Computer-supported analysis of positive properties, ultrafilters and modal collapse in variants of Gödel's ontological argument
Bulletin of the Section of Logic | 2020-10-15 | Paper |
Public Announcement Logic in HOL
| 2020-10-02 | Paper |
Computational Hermeneutics: An Integrated Approach for the Logical Analysis of Natural-Language Arguments
Dynamics, Uncertainty and Reasoning | 2020-08-10 | Paper |
Mechanised assessment of complex natural-language arguments using expressive logic combinations
| 2020-05-13 | Paper |
On Reductions of Hintikka Sets for Higher-Order Logic
| 2020-04-16 | Paper |
Mechanizing \textit{Principia logico-metaphysica} in functional type-theory
The Review of Symbolic Logic | 2020-03-25 | Paper |
scientific article; zbMATH DE number 7178360 (Why is no real title available?)
| 2020-03-09 | Paper |
Automating free logic in HOL, with an experimental application in category theory
Journal of Automated Reasoning | 2020-03-03 | Paper |
Computer-supported Exploration of a Categorical Axiomatization of Modeloids
| 2019-10-27 | Paper |
\(\Omega\)\textsc{mega}: towards a mathematical assistant
Automated Deduction—CADE-14 | 2019-10-01 | Paper |
Extensional Higher-Order Paramodulation in Leo-III
| 2019-07-26 | Paper |
A dyadic deontic logic in HOL
| 2019-07-24 | Paper |
Computer Science and Metaphysics: A Cross-Fertilization
| 2019-05-01 | Paper |
What is a proof? What should it be?
| 2019-04-07 | Paper |
scientific article; zbMATH DE number 7015113 (Why is no real title available?)
| 2019-02-07 | Paper |
Theorem provers for every normal modal logic
EPiC Series in Computing | 2019-01-10 | Paper |
The higher-order prover Leo-III
| 2018-10-18 | Paper |
A deontic logic reasoning infrastructure
| 2018-09-06 | Paper |
Faithful Semantical Embedding of a Dyadic Deontic Logic in HOL
| 2018-02-23 | Paper |
The Higher-Order Prover Leo-III (Extended Version)
| 2018-02-08 | Paper |
An object-logic explanation for the inconsistency in Gödel's ontological theory
| 2017-09-14 | Paper |
Sweet SIXTEEN: Automation via Embedding into Classical Higher-Order Logic
Logic and Logical Philosophy | 2017-08-11 | Paper |
Cut-elimination for quantified conditional logic
Journal of Philosophical Logic | 2017-07-19 | Paper |
Automating Gödel's ontological proof of God's existence with higher-order automated theorem provers
| 2017-07-18 | Paper |
Computer-assisted analysis of the Anderson-Hájek ontological controversy
Logica Universalis | 2017-04-20 | Paper |
Higher-order modal logics: automation and applications
Reasoning Web. Web Logic Rules | 2017-03-30 | Paper |
Proofs and reconstructions
Frontiers of Combining Systems | 2017-02-27 | Paper |
Agent-based HOL reasoning
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Automating free logic in Isabelle/HOL
Mathematical Software – ICMS 2016 | 2016-09-28 | Paper |
Axiomatizing Category Theory in Free Logic
| 2016-09-06 | Paper |
Effective normalization techniques for HOL
Automated Reasoning | 2016-09-05 | Paper |
The higher-order prover \textsc{Leo}-II
Journal of Automated Reasoning | 2016-05-26 | Paper |
On logic embeddings and Gödel's God
Recent Trends in Algebraic Development Techniques | 2016-02-25 | Paper |
There is no best \(\beta \)-normalization strategy for higher-order reasoners
Logic for Programming, Artificial Intelligence, and Reasoning | 2016-01-12 | Paper |
Implementing and evaluating provers for first-order modal logics
| 2015-12-11 | Paper |
Invited Talk: On a (Quite) Universal Theorem Proving Approach and Its Application in Metaphysics
Lecture Notes in Computer Science | 2015-12-11 | Paper |
\textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners
Lecture Notes in Computer Science | 2015-11-20 | Paper |
Interacting with Modal Logics in the Coq Proof Assistant
Lecture Notes in Computer Science | 2015-10-20 | Paper |
HOL Based First-Order Modal Logic Provers
Logic for Programming, Artificial Intelligence, and Reasoning | 2014-01-17 | Paper |
\textsc{Plat}{\(\Omega\)}: a mediator between text-editors and proof assistance systems
Electronic Notes in Theoretical Computer Science | 2013-12-20 | Paper |
Assertion-level proof representation with under-specification
| 2013-09-09 | Paper |
Formalization, Mechanization and Automation of G\"odel's Proof of God's Existence
| 2013-08-21 | Paper |
Quantified multimodal logics in simple type theory
Logica Universalis | 2013-04-08 | Paper |
Embedding and automating conditional logics in classical higher-order logic
Annals of Mathematics and Artificial Intelligence | 2013-02-18 | Paper |
Combining and automating classical and non-classical logics in classical higher-order logics
Annals of Mathematics and Artificial Intelligence | 2012-01-13 | Paper |
scientific article; zbMATH DE number 5872255 (Why is no real title available?)
| 2011-03-30 | Paper |
Exploring properties of normal multimodal logics in simple type theory with \texttt{Leo-II}
| 2011-03-30 | Paper |
scientific article; zbMATH DE number 5850137 (Why is no real title available?)
| 2011-02-10 | Paper |
Multimodal and intuitionistic logics in simple type theory
Logic Journal of the IGPL | 2010-12-14 | Paper |
Verifying the modal logic cube is an easy task (for higher-order automated reasoners)
Verification, Induction, Termination Analysis | 2010-11-22 | Paper |
Combining logics in simple type theory
Lecture Notes in Computer Science | 2010-08-24 | Paper |
Organization, transformation, and propagation of mathematical knowledge in \(\Omega \)mega
Mathematics in Computer Science | 2009-09-18 | Paper |
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
Automated Deduction – CADE-22 | 2009-07-28 | Paper |
Cut-Simulation and Impredicativity
Logical Methods in Computer Science | 2009-04-29 | Paper |
Cut-Simulation in Impredicative Logics
Automated Reasoning | 2009-03-12 | Paper |
LEO-II - A Cooperative Automatic Theorem Prover for Classical Higher-Order Logic (System Description)
Automated Reasoning | 2008-11-27 | Paper |
THF0 – The Core of the TPTP Language for Higher-Order Logic
Automated Reasoning | 2008-11-27 | Paper |
Combined reasoning by automated cooperation
Journal of Applied Logic | 2008-09-23 | Paper |
KI 2004: Advances in Artificial Intelligence
Lecture Notes in Computer Science | 2008-03-14 | Paper |
Computer supported mathematics with \(\Omega\)MEGA
Journal of Applied Logic | 2007-02-20 | Paper |
Towards computer aided mathematics
Journal of Applied Logic | 2007-02-20 | Paper |
Mathematical Knowledge Management
Lecture Notes in Computer Science | 2007-02-12 | Paper |
Theorem Proving in Higher Order Logics
Lecture Notes in Computer Science | 2006-07-06 | Paper |
Mechanizing Mathematical Reasoning
Lecture Notes in Computer Science | 2006-01-10 | Paper |
Logic for Programming, Artificial Intelligence, and Reasoning
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Higher-order semantics and extensionality
Journal of Symbolic Logic | 2005-08-29 | Paper |
scientific article; zbMATH DE number 2154400 (Why is no real title available?)
| 2005-04-09 | Paper |
scientific article; zbMATH DE number 2090295 (Why is no real title available?)
| 2004-08-12 | Paper |
Automatic Learning of Proof Methods in Proof Planning
Logic Journal of the IGPL | 2004-05-27 | Paper |
scientific article; zbMATH DE number 1980938 (Why is no real title available?)
| 2003-09-15 | Paper |
Comparing approaches to resolution based higher-order theorem proving
Synthese | 2003-04-27 | Paper |
scientific article; zbMATH DE number 1882065 (Why is no real title available?)
| 2003-03-13 | Paper |
Towards learning new methods in proof planning
| 2002-06-13 | Paper |
Distributed assertion retrieval
| 2002-02-14 | Paper |
\(\Omega\)-ANTS -- An open approach at combining interactive and automated theorem proving
| 2001-10-21 | Paper |
scientific article; zbMATH DE number 1497751 (Why is no real title available?)
| 2001-03-06 | Paper |
scientific article; zbMATH DE number 1341621 (Why is no real title available?)
| 2000-05-29 | Paper |
scientific article; zbMATH DE number 1303338 (Why is no real title available?)
| 2000-01-12 | Paper |
