Simple Type Theory as Framework for Combining Logics

30 April 2010

Papers citing "Simple Type Theory as Framework for Combining Logics"

2 / 2 papers shown

Title
Universal Reasoning, Rational Argumentation and Human-Machine Interaction Christoph Benzmüller LRM AI4CE 41 9 0 28 Mar 2017
Quantified Multimodal Logics in Simple Type TheoryLogica Universalis (LU), 2009 Christoph Benzmüller Lawrence Charles Paulson 131 121 0 14 May 2009