Hendriks, A. (1999) System Description: Akka, A workbench for Mathematical Logic.

In de Rijke, M. (Eds.), M4M. Methods for Modalities 1. ILLC.

Hendriks, A. (1999) Effective Logic Computation, Klaus Truemper [Review of: (1999) Effective Logic Computation].

Journal of Logic, Language and Information, Vol. 8

Book/Film/Article/Exhibition review | UvA-DARE

Hendriks, A. (2000) Doing logic by computer: interpolation in fragments of intuitionistic propositional logic.

Annals of Pure and Applied Logic, Vol. 104 (pp 97-112)

Article | https://doi.org/10.1016/S0168-0072(00)00009-9 | UvA-DARE

Hendriks, A. (2001) Explorations in extensions of intuitionistic propositional logic.

In de Rijke, M. e.a. (Eds.), Workshop Proceedings Methods for Modalities 2. Amsterdam University Press.

Hendriks, A. (2004) Explorations and Computations in bidirectional intuitionistic propositional Logic.

In Liber Amicorum voor Dick de Jongh. Amsterdam University Press.

Hendriks, H.L.W. (1993) Studied flexibility : categories and types in syntax and semantics.

Institute for Logic, Language and Computation.

Thesis, fully internal | UvA-DARE

Hendriks, H.L.W. (1999) Contour and Structure. A Categorial Account of Alignment.

In Kruijff, G.--J. Bouma, G. Hinrichs, E. Oehrle, R. (Eds.), Constraints and Resources in Natural Syntax and Semantics (pp 155-174). CSLI Publications.

Hendriks, H.L.W. (1999) Encoding Atomic Categories: Rendering It Strictly Directed.

In Gerbrandy, J. Marx, M. de Rijke, M. Venema, Y. (Eds.), CD-ROM JFAK, Essays dedicated to Johan van Benthem on the Occasion of his 50th Birthday. Vossiuspers AUP.

Hendriks, H.L.W. (1999) Indirect Speech Acts. Politeness and the Civilizing Process.

In van Kuppevelt, J. van Leusen, N. van Rooy, R. Zeevat, H. (Eds.), Proceedings of Amstellogue '99 (pp 53-57). ILLC.

Hendriks, H.L.W. (1999) The Logic of Tune. A Proof-Theoretic Analysis of Intonation.

In Lecomte, A. (Eds.), LACL 97. Logical Aspects of Cumputational Linguistics (pp 132-159) (LNCS-LNAI Series). Springer Verlag.

Hendriks, H.L.W. (2000) Compositionality and Model-Theoretic Interpretation.

Journal of Logic, Language and Information, Vol. 9 (pp 419-438)

Article | UvA-DARE

Hendriks, H.L.W. (2001) Compositionality and model-theoretic interpretation.

Journal of Logic, Language and Information, Vol. 10 (pp 29-48)

Article | UvA-DARE

Hendriks, H.L.W. (2001) Information packaging: From cards to boxes.

In Hamm, F. Zimmermann, Th.E. (Eds.), Linguistische Berichte Sonderheft 10: Semantics (pp 165-189). Helmut Buske Verlag.

Hendriks, H.L.W. (2002) Links Without Locations. Information Packaging: From Cards to Boxes.

Linguistische Berichte. Sonderheft, Vol. 10 (pp 173-188)

Article | UvA-DARE

Hendriks, H.L.W. (2002) Information packaging: From cards to boxes.

In van Deemter, K. Kibble, R. (Eds.), Information Sharing. Reference and Presupposition in Language Generation and Interpretation (pp 1-34). CSLI Publications.

Hendriks, L., Kazakci, A.O. (2010) A formal account of the dual extension of knowledge and concept in C-K design theory.

In Marjanović, D. Štorga, M. Pavković, N. Bojčetić, N. (Eds.), 11th International Design Conference DESIGN 2010: Dubrovnik - Croatia, May 17 - 20, 2010. Proceedings (pp 49-58). Faculty of Mechanical Engineering and Naval Architecture, University of Zagreb/The Design Society.

Hendriks, L. (1995) Exact models and computations in propositional logic.

In Trautwein, M. Fischer, S. (Eds.), Accolade '95 (pp 59-73)

Hengeveld, K., Iatridou, S., Roelofsen, F. (2023) Quexistentials and Focus.

Linguistic Inquiry, Vol. 54 (pp 571-624)

Article | https://doi.org/10.1162/ling_a_00441 | UvA-DARE

Henk, P., Visser, A. (2017) Interpretability suprema in Peano Arithmetic.

Archive for Mathematical Logic, Vol. 56 (pp 555-584)

Article | https://doi.org/10.1007/s00153-017-0557-4 | UvA-DARE

Henk, P. (2016) Nonstandard provability for Peano Arithmetic: A modal perspective.

Thesis, fully internal | UvA-DARE