Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Groeneveld, W. (1995). Logical Investigations into Dynamic Semantics. [Thesis, fully internal, Faculteit der Wijsbegeerte]. ILLC UvA.
  • van Benthem, J. F. A. K. (1995). Back and Forth Between Modal Logic and Classical Logic. Logic journal of the IGPL, 3(3), 685-720.
  • van Benthem, J. F. A. K., & Bergstra, J. A. (1995). Logic of transition systems. Journal of Logic, Language and Information, 3, 247-283.
  • Visser, A., van Benthem, J., de Jongh, D., & Renardel de Lavalette, G. R. (1995). NNIL, A Study in Intuitionistic Propositional Logic. In A. Ponse, M. de Rijke, & Y. Venema (Eds.), Modal Logic and Process Algebra: a bisimulation perspective (pp. 289-326). Center for the Study of Language and Information, Stanford University.
  • van Benthem, J. F. A. K. (1995). Quantifiers in the World of Types. In J. van Eyck, & J. van der Does (Eds.), Quantifiers, Logic Language, CSLI Lecture Notes (pp. 45-60). Cambridge University Press.
  • Open Access
    Alechina, N. A. (1995). Modal quantifiers. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    van Benthem, J. F. A. K., & Bergstra, J. A. (1995). Logic of Transition Systems. Journal of Logic, Language and Information, 3(4), 247-283.
  • Open Access
    van Benthem, J. F. A. K., & Westerstahl, D. (1995). Directions in Generalized Quantifier Theory. Studia Logica, 55(3), 389-419.
  • Prijatelj, A. (1994). Investigating Bounded Contraction. [Thesis, fully internal, Universiteit van Amsterdam].
  • Jaspers, J. (1994). Calculi for Constructive Communication. [Thesis, internally prepared, Universiteit Tilburg].
Page 41 of 49