Searchable List of Research Output

Filter Publications
  • 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. (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. (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)
  • Grandi, U., Endriss, U. (2009) First-order logic formalisation of Arrow’s Theorem.
    In He, X. Horty, J. Pacuit, E. (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp 133-146) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 5834). Springer.
  • Grandi, U., Endriss, U. (2010) Lifting rationality assumptions in binary aggregation.
    In Proceedings of the Twenty-fourth AAAI Conference on Artificial Intelligence and the Twenty-second Innovative Applications of Artificial Intelligence Conference: 11-15 July, 2010, Atlanta, Georgia, USA. - Vol. 2 (pp 780-785). AAAI Press.
  • Grandi, U., Endriss, U. (2011) Binary Aggregation with Integrity Constraints.
    In Walsh, T. (Eds.), IJCAI-11: proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence : Barcelona, Catalonia, Spain, 16-22 July 2011 (pp 204-209). AAAI Press/International Joint Conferences on Artificial Intelligence.
  • Grandi, U., Endriss, U. (2013) First-Order Logic Formalisation of Impossibility Theorems in Preference Aggregation.
    Journal of Philosophical Logic, Vol. 42 (pp 595-618)
  • Grandi, U., Endriss, U. (2013) Lifting Integrity Constraints in Binary Aggregation.
    Artificial Intelligence, Vol. 199-200 (pp 45-66)
  • Grandi, U., Pigozzi, G. (2012) On Compatible Multi-issue Group Decisions.
    In LOFT 2012: 10th Conference on Logic and the Foundations of Game and Decision Theory: June 18-20, 2012, University of Sevilla, Spain. Accepted papers. Universidad de Sevilla, Grupo de Lógica, Lenguaje e Información.
  • Grandi, U. (2011) Combinatorial Aggregation.
    In Walsh, T. (Eds.), IJCAI-11: proceedings of the Twenty-Second International Joint Conference on Artificial Intelligence : Barcelona, Catalonia, Spain, 16-22 July 2011 (pp 2804-2805). AAAI Press/International Joint Conferences on Artificial Intelligence.

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