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"

4 / 4 papers shown

Title
Automated Reasoning in Non-classical Logics in the TPTP World A. Steen D. Fuenmayor Tobias Gleißner G. Sutcliffe Christoph Benzmüller LRM 28 8 0 20 Feb 2022
Extensional Higher-Order Paramodulation in Leo-III A. Steen Christoph Benzmüller LRM 37 25 0 26 Jul 2019
An Introduction to Logics of Knowledge and Belief Hans van Ditmarsch Joseph Y. Halpern W. Hoek Barteld P. Kooi 41 28 0 03 Mar 2015
Quantified Multimodal Logics in Simple Type Theory Christoph Benzmüller Lawrence Charles Paulson 91 120 0 14 May 2009