Search results

  • Full text

  • Document type

    • Publication year

  • Organisation

Results: 69
Number of items: 69
  • Väänänen, J., Hirvonen, Å., & de Queiroz, R. (Eds.) (2016). Logic, Language, Information, and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16-19th, 2016 : proceedings. (Lecture Notes in Computer Science; Vol. 9803), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-52921-8
  • Väänänen, J. (2016). Grelling on dependence. In S. Abramsky, J. Kontinen, J. Väänänen, & H. Vollmer (Eds.), Dependence Logic: Theory and Applications (pp. 33-52). Birkhäuser. https://doi.org/10.1007/978-3-319-31803-5_3
  • Väänänen, J. (2016). In Memoriam: Jaakko Hintikka. Arkhimedes, 2016(1), 32-35. https://www.doria.fi/handle/10024/126158
  • Corander, J., Hyttinen, A., Kontinen, J., Pensar, J., & Väänänen, J. (2016). A logical approach to context-specific independence. In J. Väänänen, Å. Hirvonen, & R. de Queiroz (Eds.), Logic, Language, Information and Computation: 23rd International Workshop, WoLLIC 2016, Puebla, Mexico, August 16–19th, 2016 : proceedings (pp. 165-182). (Lecture Notes in Computer Science; Vol. 9803), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-52921-8_11
  • Open Access
    Paolini, G., & Väänänen, J. (2016). Dependence Logic in Pregeometries and ω-Stable Theories. Journal of Symbolic Logic, 81(1), 32-55. https://doi.org/10.1017/jsl.2015.16
  • Open Access
    Bagaria, J., & Väänänen, J. (2016). On the symbiosis between model-theoretic and set-theoretic properties of large cardinals. Journal of Symbolic Logic, 81(2), 584-604. https://doi.org/10.1017/jsl.2015.60
  • Väänänen, J. (2015). Categoricity and consistency in second-order logic. Inquiry : an Interdisciplinary Journal of Philosophy, 58(1), 20-27. https://doi.org/10.1080/0020174X.2015.978531
  • Ikegami, D., & Väänänen, J. (2015). Boolean-valued second-order logic. Notre Dame Journal of Formal Logic, 56(1), 167-190. https://doi.org/10.1215/00294527-2835065
  • Väänänen, J., & Wang, T. (2015). Internal Categoricity in Arithmetic and Set Theory. Notre Dame Journal of Formal Logic, 56(1), 121-134. https://doi.org/10.1215/00294527-2835038
  • Väänänen, J. (2015). Second-order logic and set theory. Philosophy Compass, 10(7), 463-478. https://doi.org/10.1111/phc3.12229
Page 2 of 7