A Report on Some Ramified-Type Assignment Systems and Their Model-Theoretic Semantics
Harold T. Hodes · Palgrave Macmillan UK eBooks · 2013
This paper reports on some of my research on ramified-type assignment systems, their languages and their logics as of September 2011. 1 These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.