Second-Order Characterizations of Definientia in Formula Classes

From International Center for Computational Logic
Toggle side column

Second-Order Characterizations of Definientia in Formula Classes

Christoph WernhardChristoph Wernhard
Christoph Wernhard
Second-Order Characterizations of Definientia in Formula Classes
Technical Report, Technische Universität Dresden, volume Knowledge Representation and Reasoning 14-03, 2014
@techreport{W2014,
  author      = {Christoph Wernhard},
  title       = {Second-Order Characterizations of Definientia in Formula
                 Classes},
  institution = {Technische Universit{\"{a}}t Dresden},
  year        = {2014}
}