uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • Givant, S., Venema, Y. (1999) The preservation of Sahlqvist equations in completions of Boolean algebras with operators.
    Algebra Universalis, Vol. 41 (pp 47-84)
  • Gobbo, F., Russo, F. (2020) Epistemic diversity and the question of Lingua Franca in science and philosophy.
    Foundations of Science, Vol. 25 (pp 185-207)
  • Goeuriot, L., Crestani, F., Kamps, J., Maistro, M., Joho, H., Caputo, A., Kruschwitz, U., Gurrin, C. (2023) Preface.
    In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp v-vi) (Lecture Notes in Computer Science, Vol. 13981). Springer.
  • Goeuriot, L., Crestani, F., Kamps, J., Maistro, M., Joho, H., Caputo, A., Kruschwitz, U., Gurrin, C. (2023) Preface.
    In Kamps, J. Goeuriot, L. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp v-vi) (Lecture Notes in Computer Science, Vol. 13980). Springer.
  • Goeuriot, L., Crestani, F., Kamps, J., Maistro, M., Joho, H., Caputo, A., Kruschwitz, U., Gurrin, C. (2023) Preface.
    In Kamps, J. Goeuriot, L. Crestani, F. Maistro, M. Joho, H. Davis, B. Gurrin, C. Kruschwitz, U. Caputo, A. (Eds.), Advances in Information Retrieval: 45th European Conference on Information Retrieval, ECIR 2023, Dublin, Ireland, April 2–6, 2023 : proceedings (pp v-vi) (Lecture Notes in Computer Science, Vol. 13982). Springer.
  • Gogoladze, K., Baltag, A. (2017) Evidence-based Belief Revision for Non-omniscient Agents.
    In XII Tbilisi Symposium of Language, Logic and Computation: Lagodekhi, Georgia, 18-22 September 2017 (pp 83-86). Centre for Language, Logic and Speech at the Tbilisi State University.
  • Goguadze, G., Piazza, C., Venema, Y. (2001) Simulating polyadic modal logics by monadic ones.
    Technical Report. Institute for Logic Language and Computation.
    Working paper | UvA-DARE
  • Goldblatt, R., Hodkinson, I., Venema, Y. (2003) Erdös graphs resolve Fine's canonicity problem.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Goldblatt, R., Hodkinson, I., Venema, Y. (2003) On canonical modal logics that are not elementarily generated.
    Logique et Analyse, Vol. 181 (pp 77-101)
    Article | UvA-DARE
  • Goldblatt, R., Hodkinson, I., Venema, Y. (2004) Erdös graphs resolve Fine's canonicity problem.
    The Bulletin of Symbolic Logic, Vol. 10 (pp 186-208)
  • Goldblatt, Robert, Hodkinson, Ian, Venema, Y. (2003) On canonical modal logics that are not elementarily determined.
    Logique et Analyse, Vol. 46 (pp 77-101)
    Article | UvA-DARE
  • Goltz, F., Sadakata, M. (2021) Do you listen to music while studying? A portrait of how people use music to optimize their cognitive performance.
    Acta Psychologica, Vol. 220
  • Gönül, G., Takmaz, E., Hohenberger, A. (2021) Preschool children's use of perceptual-motor knowledge and hierarchical representational skills for tool making.
    Acta Psychologica, Vol. 220
  • González Barman , K., van Eck, D. (2021) IBE in engineering science: the case of malfunction explanation.
    European Journal for Philosophy of Science, Vol. 11
  • González-Tosat, C., de-Lima-Santos, M.-F., Sádaba-Chalezquer, C., Salaverría-Aliaga, R. (2022) Looking for the secret formula: How branded content shapes digital-native media’s revenue streams.
    Observatorio, Vol. 16 (pp 1-22)
  • Gopal, W., Russo, F. (2022) What Difference Does the Digital Era Make to Authority and Power Structures? A Reply to Beatriz Buarque.
    Social Epistemology Review and Reply Collective, Vol. 11 (pp 12-17)
    Comment/Letter to the editor | https://wp.me/p1Bfg0-7k6 | UvA-DARE
  • Governatori, G., Hodkinson, I., Venema, Y. (2006) Advances in Modal Logic 6.
    Advances in Modal Logic. College Publications.
  • Grädel, E., Kolaitis, P., Libkin, L., Marx, M., Spencer, J., Vardi, M., Venema, Y., Weinstein, S. (2007) Finite model theory and its applications.
    Texts in theoretical computer science. Springer.
    Book (Editorship) | UvA-DARE
  • Grädel, E., Väänänen, J. (2010) Dependence and Independence.
    Mathematische Grundlagen der Informatik, RWTH Aachen.
    Working paper | UvA-DARE
  • Grädel, E., Väänänen, J. (2013) Dependence and independence.
    Studia Logica, Vol. 101 (pp 399–410)
1 ... 119 120 121 122 123 124 125 126 127 ... 311

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