Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 489
Number of items: 489
  • Kurtonina, N. (1995). Frames and Labels. [Thesis, fully external, elders].
  • 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.
  • 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.
  • 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.
  • Open Access
    Alechina, N. A. (1995). Modal quantifiers. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • van Benthem, J. F. A. K. (1994). The Landscape of Deductio. In P. Schroder-Heister, & K. Dosen (Eds.), Substructural Logics (pp. 357-376). Clarendon Press.
  • van Benthem, J. F. A. K. (1994). Dynamic Arrow Logic. In A. Visser, & J. van Eyck (Eds.), Logic and Information Flow (pp. 15-29). MIT Press.
Page 41 of 49