Searchable List of Research Output

Filter Publications
  • Janssen, T.M.V. (1994) An algebraic view.
    In Rosetta, M.T. (Eds.), Compositional Translation (pp 389-416). Kluwer.
    Chapter | UvA-DARE
  • Janssen, T.M.V. (1996) Is compositionality of meaning possible?.
    In Stokhof, M. Dekker, P. (Eds.), Proceedings of the 10th Amsterdam colloquium, volume II (pp 407-424). Institute for logic language and computation (ILLC).
    Chapter | UvA-DARE
  • Janssen, T.M.V. (1997) A compositional semantics for the game-theoretical interpretation of logic.
    In Dekker, P. Venema, Y. Stokhof, M. (Eds.), Proc. of the 11th Amsterdam colloquium (pp 181-185)
    Chapter | UvA-DARE
  • Janssen, T.M.V. (1997) Compositionality.
    In ter Meulen, A. van Benthem, J.F.A.K. (Eds.), Handbook of logic and language (pp 417-473)
    Chapter | UvA-DARE
  • Janssen, T.M.V. (1998) Correctness and Algebraic Compiler Construction.
    Chicago Journal of Theoretical Computer Science (pp 25-56)
    Article | UvA-DARE
  • Janssen, T.M.V. (1998) A survey of compositional translations.
    In Langmaack, H. de Roever, W-P. Pnueli, A. (Eds.), Lecture notes in computer science (pp 327-349) (-). Springer.
    Chapter | UvA-DARE
  • Janssen, T.M.V. (1999) On the interpretation of if-logic.
    In Dekker, P. (Eds.), Proceedings Twelfth Amsterdam Colloquium (pp 139-144). ILLC.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (1999) Historical mistakes on the Fregean revolution in philosophy of language. In Jelle Gerbrandy, Maarten Marx, Maarten de Rijke, and Yde Venema, editors, JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.
    Vossiuspers - Amsterdam University Press.
    Digital or Visual Products | UvA-DARE
  • Janssen, T.M.V. (2000) An algebraic approach to grammatical theories for natural language.
    In Nijholt, A. Heylen, D. Scollo, G.S. (Eds.), Algebraic Methods in Language Processing. Proceedings 16th Twente workshop on language technology, Iowa City, USA, May 2000 (pp 67-73). Computer Science.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2001) Implicit slashing in IF logic.
    In van Rooy, R. Stokhof, M. (Eds.), Thirteenth Amsterdam Colloquium, Proceedings (pp 120-125)
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2001) On the definition of independence in logic.
    In Sandu, G. Pauly, M. (Eds.), Workshop on Logic and Games. ESSLLI'01. Dept of Philosophy, University of Helsinki.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2001) Computational aspects of IF logic.
    In van der Sluis, I. Bunt, H. Thijsse, E. (Eds.), Proceedings of the fourth international workshop on computational semantics IWCS-4 (pp 173-187). Tilburg University. Computational Linguistics and IA group.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2001) Frege, contextuality and compositionality.
    Journal of Logic, Language and Information, Vol. 10 (pp 115-136)
    Article | UvA-DARE
  • Janssen, T.M.V. (2002) Independent choices and the Interpretation of IF Logic.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Janssen, T.M.V. (2002) Independent choices and the interpretation of IF-logic.
    Journal of Logic, Language and Information, Vol. 11 (pp 367-387)
    Article | UvA-DARE
  • Janssen, T.M.V. (2003) On the semantics of branching quantifier sentences.
    In Dekker, P.J.E. van Rooy, R.A.M. (Eds.), Proceedings of the 14th Amsterdam Colloquium (pp 147-151). ILLC.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2005) Montague Semantics.
    In Brown, Keith (Eds.), Encyclopedia of Language and Linguistics (2nd ed.) (pp 244-255). Elsevier.
    Chapter | UvA-DARE
  • Janssen, T.M.V. (2005) Independence Friendly logic as a strategic game.
    In Dekker, P. Franke, M. (Eds.), Proceedings Fifteenth Amsterdam Colloquium (pp 125-130). ILLC.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2006) Independence and Hintikka games.
    In Bonnano, G. van der Hoek, W. Woolridge, M. (Eds.), 7th Conference on Logic and the foundations of Game and Decision (LOFT06, Liverpool) (pp 113-122). The University of Liverpool.
    Conference contribution | UvA-DARE
  • Janssen, T.M.V. (2006) Logic as a language for modelling.
    In Manzano, M. Lancho, B.P. Gil, A. (Eds.), Second International Congress on Tools for teaching Logic, proceedings (pp 63-67). University of Salamanca.
    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