An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning

23 March 2022

Papers citing "An Extensible Logic Embedding Tool for Lightweight Non-Classical Reasoning"

3 / 3 papers shown

Title
Theorem Proving in Dependently-Typed Higher-Order Logic -- Extended Preprint Colin Rothgang Florian Rabe Christoph Benzmüller 23 1 0 24 May 2023
Solving Quantified Modal Logic Problems by Translation to Classical Logics A. Steen G. Sutcliffe Christoph Benzmüller LRM 20 1 0 19 Dec 2022
Bridging between LegalRuleML and TPTP for Automated Normative Reasoning (extended version) A. Steen D. Fuenmayor 104 1 0 12 Sep 2022