Quantified Multimodal Logics in Simple Type Theory

Logica Universalis (LU), 2009

14 May 2009

Papers citing "Quantified Multimodal Logics in Simple Type Theory"

22 / 22 papers shown

Title
TPTP World Infrastructure for Non-classical Logics A. Steen G. Sutcliffe 12 1 0 12 Aug 2025
Solving Quantified Modal Logic Problems by Translation to Classical Logics A. Steen G. Sutcliffe Christoph Benzmüller LRM 38 2 0 19 Dec 2022
An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning A. Steen LRM 84 7 0 23 Mar 2022
Automated Reasoning in Non-classical Logics in the TPTP World A. Steen D. Fuenmayor Tobias Gleißner G. Sutcliffe Christoph Benzmüller LRM 56 10 0 20 Feb 2022
Automating Public Announcement Logic with Relativized Common Knowledge as a Fragment of HOL in LogiKEyJournal of Logic and Computation (J. Log. Comput.), 2021 Christoph Benzmüller S. Reiche 32 6 0 02 Nov 2021
A Formalisation of Abstract Argumentation in Higher-Order Logic A. Steen D. Fuenmayor 36 1 0 18 Oct 2021
New Algebraic Normative Theories for Ethical and Legal Reasoning in the LogiKEy Framework A. Farjami 31 0 0 25 Jul 2021
Higher-order Logic as Lingua Franca -- Integrating Argumentative Discourse and Deep Logical Analysis D. Fuenmayor Christoph Benzmüller 33 1 0 02 Jul 2020
Modelling Value-oriented Legal Reasoning in LogiKEy Christoph Benzmüller D. Fuenmayor Bertram Lomfeld 12 1 0 23 Jun 2020
A (Simplified) Supreme Being Necessarily Exists, says the Computer: Computationally Explored Variants of Gödel's Ontological ArgumentInternational Conference on Principles of Knowledge Representation and Reasoning (KR), 2020 Christoph Benzmüller 171 6 0 14 Jan 2020
Computer-supported Analysis of Positive Properties, Ultrafilters and Modal Collapse in Variants of Gödel's Ontological ArgumentBulletin of the Section of Logic (BSL), 2019 Christoph Benzmüller D. Fuenmayor 57 5 0 20 Oct 2019
Extensional Higher-Order Paramodulation in Leo-IIIJournal of automated reasoning (JAR), 2019 A. Steen Christoph Benzmüller LRM 69 28 0 26 Jul 2019
A Computational-Hermeneutic Approach for Conceptual Explicitation D. Fuenmayor Christoph Benzmüller 44 14 0 15 Jun 2019
Computer Science and Metaphysics: A Cross-FertilizationOpen Philosophy (OP), 2019 Daniel Kirchner Christoph Benzmüller E. Zalta AI4CE 74 21 0 01 May 2019
Designing Normative Theories for Ethical and Legal Reasoning: LogiKEy Framework, Methodology, and Tool Support Christoph Benzmüller X. Parent Leendert van der Torre AILaw 229 5 0 25 Mar 2019
First Experiments with a Flexible Infrastructure for Normative Reasoning Christoph Benzmüller X. Parent 36 5 0 09 Apr 2018
I/O Logic in HOL --- First Steps Christoph Benzmüller X. Parent 21 8 0 26 Mar 2018
Systematic Verification of the Modal Logic Cube in Isabelle/HOL Christoph Benzmüller Maximilian Claus Nikolai Sultana 38 15 0 31 Jul 2015
Formalization, Mechanization and Automation of Gödel's Proof of God's ExistenceEuropean Conference on Artificial Intelligence (ECAI), 2013 Christoph Benzmüller B. W. Paleo 79 80 0 21 Aug 2013
FMLtoHOL (version 1.0): Automating First-order Modal Logics with LEO-II and Friends Christoph Benzmüller Thomas Raths 82 0 0 28 Jul 2012
Quantified Conditional Logics are Fragments of HOL Christoph Benzmüller Valerio Genovese 77 6 0 26 Apr 2012
Simple Type Theory as Framework for Combining Logics Christoph Benzmüller LRM 150 8 0 30 Apr 2010