( en | de | ru )

 

Disambiguation of "Horsten, Leon"

Author of the publication

copydeleteadd this publication to your clipboard
The Expressive Power of Truth.

, and . Rev. Symb. Log., 8 (2): 345-369 (2015)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Jörg Horsten

Axel Horsten

Stephan Hörsten

Iris Hörsten

Franz Horsten

 

Other publications of authors with the same name

A Kripkean Approach to Unknowability and Truth.. Notre Dame J. Formal Log., 39 (3): 389-405 (1998)Reflecting in Epistemic Arithmetic.. J. Symb. Log., 61 (3): 788-801 (1996)The Expressive Power of Truth., and . Rev. Symb. Log., 8 (2): 345-369 (2015)On best transitive approximations to simple graphs., and . Acta Inf., 40 (9): 637-655 (2004)Term Models for Abstraction Principles., and . J. Philosophical Logic, 45 (1): 1-23 (2016)In Defense of Epistemic Arithmetic.. Synthese, 116 (1): 1-25 (1998)Formal Methods in the Philosophy of Science., and . Stud Logica, 89 (2): 151-162 (2008)On the Exclusivity Implicature of 'Or' or on the Meaning of Eating Strawberries., and . Stud Logica, 81 (1): 19-24 (2005)The Church-Turing thesis and effective mundane procedures., and . Minds and Machines, 5 (1): 1-8 (1995)Provability in Principle and Controversial Constructivistic Principles.. J. Philosophical Logic, 26 (6): 635-660 (1997)