Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 69
Number of items: 69
  • Open Access
    Grädel, E., & Väänänen, J. (2010). Dependence and Independence. Mathematische Grundlagen der Informatik, RWTH Aachen.
  • Open Access
    Ikegami, D. (2010). Games in set theory and logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Open Access
    Kontinen, J. A. (2010). Coherence and complexity in fragments of dependence logic. [Thesis, fully internal, Universiteit van Amsterdam]. Institute for Logic, Language and Computation.
  • Abramsky, S., & Väänänen, J. (2009). From IF to BI: A tale of dependence and separation. Synthese, 167(2), 207-230. https://doi.org/10.1007/s11229-008-9415-6
  • Kontinen, J., & Väänänen, J. (2009). On definability in dependence logic. Journal of Logic, Language and Information, 18(3), 317-332. https://doi.org/10.1007/s10849-009-9082-0
  • Cooper, S. B., Geuvers, H., Pillay, A., & Väänänen, J. (2009). Logic Colloquium 2006. (Lecture notes in logic; No. 32). Cambridge University Press.
  • Open Access
    van Benthem, J., ten Cate, B., & Väänänen, J. (2009). Lindström theorems for fragments of first-order logic. Logical Methods in Computer Science, 5(3), Article 3. https://doi.org/10.2168/LMCS-5(3:3)2009
  • Väänänen, J. (2008). How complicated can structures be? Nieuw Archief voor Wiskunde, 5/9(2), 117-121. http://www.nieuwarchief.nl/serie5/pdf/naw5-2008-09-2-117.pdf
  • Väänänen, J. A. (2008). The Craig Interpolation Theorem in abstract model theory. Synthese, 164(3), 401-420. https://doi.org/10.1007/s11229-008-9357-z
  • Open Access
    Väänänen, J. (2008). Modal dependence logic. In K. R. Apt, & R. van Rooij (Eds.), New Perspectives on Games and Interaction (pp. 237-254). (Texts in logic and games; Vol. 4). Amsterdam University Press. http://www.nomic.net/~uckelman/tmp/tlg/tlg4.pdf
Page 6 of 7