Searchable List of Research Output

Filter Publications
  • Honingh, A.K. (2004) Limitations on Fixed n-Tone Equal Tempered Divisions.
    In Bilotta, E. Buzzanca, G. Cafagna, V. Di Maio, G. Francaviglia, M. Nottoli, G. Olivetti Belardinelli, M. Pantano, P. Tarabella, L. (Eds.), Creativity and Sciences. Seconda Universita degli Studi di Napoli.
    Conference contribution | UvA-DARE
  • Honingh, A.K. (2006) Convexity and compactness as models for the preferred intonation of chords.
    In Ninth International Conference on Music Perception and Cognition (ICMPC 9). CD-rom.
    Conference contribution | UvA-DARE
  • Honingh, A.K. (2006) The origin and well-formedness of tonal pitch structures.
    ILLC.
    Thesis, fully internal | UvA-DARE
  • Honingh, A.K. (2006) Pitch spelling using compactness..
    In Ninth International Conference on Music Perception and Cognition (ICMPC 9). CD-rom.
    Conference contribution | UvA-DARE
  • Honingh, A.K. (2009) Compactness in the Euler-lattice: A parsimonious pitch spelling model.
    Musicae Scientiae, Vol. 13 (pp 117-138)
  • Hoogland, E., Marx, M. (2000) Interpolation in guarded fragments.
    Technical Report. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Hoogland, E., Marx, M. (2002) Interpolation in the guarded fragment.
    Studia Logica, Vol. 70 (pp 273-409)
    Article | UvA-DARE
  • Hoogland, E. (1999) Algebraic Characterizations of Various Beth Definability Properties.
    vg logic/info (oud WINS).
    Report | UvA-DARE
  • Hoogland, E. (2000) Algebraic characterizations of various Beth definability properties.
    Studia Logica, Vol. 65 (pp 91-112)
    Article | UvA-DARE
  • Hoogland, E. (2001) Definability and Interpolation: Model-theoretic investigations.
    Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Hornischer, L., Berto, F. (2025) The Logic of Dynamical Systems Is Relevant.
    Mind, Vol. 134 (pp 670–706)
  • Hornischer, L. (2019) Toward a Logic for Neural Networks.
    In Sedlár, I. Blicha, M. (Eds.), The Logica Yearbook 2018 (pp 133-148). College Publications.
    Chapter | UvA-DARE
  • Hornischer, L. (2020) Logics of Synonymy.
    Journal of Philosophical Logic, Vol. 49 (pp 767–805)
  • Hornischer, L. (2021) The Logic of Information in State Spaces.
    Review of Symbolic Logic, Vol. 14 (pp 155-186)
  • Hornischer, L.A. (2021) Dynamical systems via domains: Toward a unified foundation of symbolic and non-symbolic computation.
    ILLC dissertation series. Institute for Logic, Language and Computation.
    Thesis, fully internal | UvA-DARE
  • Hoshi, T. (2009) Epistemic Dynamics and Protocol Information.
    Thesis, fully external | UvA-DARE
  • Hosseini, K., Beelen, K., Colavizza, G., Ardanuy, M.C. (2021) Neural Language Models for Nineteenth-Century English.
    Journal of Open Humanities Data, Vol. 7
  • Hoveyda, Mohanna, Kareem, J., Petcu, R., van Sprang, A.V., Lucic, A. (2025) Understanding Diverse Reasoning Procedures in Foundation Models via Mechanistic Interpretability.
    In Cognitive Computational Neuroscience 2025 (pp N.A.)
  • Hoyer, P., Lee, T.J., Spalek, R. (2006) Negative weights makes adversaries stronger.
    Berkeley University.
    Working paper | UvA-DARE
  • Hoyer, P., Spalek, R. (2003) Quantum circuits with unbounded fan-out.
    In Symposium on Theoretical Aspects of Computer Science
    Conference contribution | UvA-DARE

The data of this list is taken from the Pure database. If you find output is missing from the list, please follow the previous link to find out how to submit to Pure. In case there are mistakes in PURE, please contact