Searchable List of Research Output

Filter Publications
  • Gaufman, E., Ganesh, B. (2024) The Trump Carnival: Populism, Transgression and the Far Right.
    De Gruyter Contemporary Social Sciences, Vol. 35. De Gruyter.
  • Gehrke, M., Harding, J., Venema, Y. (2004) MacNeille completions and canonical extensions.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Gehrke, M., Harding, J., Venema, Y. (2006) MacNeille completions and canonical extensions.
    Transactions of the Americal Mathematical Society, Vol. 358 (pp 573-590)
  • Gehrke, M., Jansana, R., Palmigiano, A. (2010) Canonical extensions for congruential logics with the deduction theorem.
    Annals of Pure and Applied Logic, Vol. 161 (pp 1502-1519)
  • Gehrke, M., Jansana, R., Palmigiano, A. (2013) Δ1-completions of a poset.
    Order, Vol. 30 (pp 39-64)
  • Gehrke, M., Nagahashi, H., Venema, Y. (2002) A Sahlqvist theorem for distributive modal logic.
    Technical Report. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • Gehrke, M., Nagahashi, H., Venema, Y. (2005) A Sahlqvist theorem for distributive modal logic.
    Annals of Pure and Applied Logic, Vol. 131 (pp 65-102)
  • Gehrke, M., van Gool, S.J. (2018) Sheaves and Duality.
    Journal of Pure and Applied Algebra, Vol. 222 (pp 2164-2180)
  • Gehrke, M., Vosmaer, J. (2011) Canonical extensions and canonicity via DCPO presentations.
    Theoretical Computer Science, Vol. 412 (pp 2714-2723)
  • Gehrke, M., Vosmaer, J. (2011) A view of canonical extension.
    In Bezhanishvili, N. Löbner, S. Schwabe, K. Spada, L. (Eds.), Logic, Language, and Computation: 8th International Tbilisi Symposium on Logic, Language, and Computation, TbiLLC 2009, Bakuriani, Georgia, September 21-25 2009 : revised selected papers (pp 77-100) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI Publications on Logic, Language and Information, Vol. 6618). Springer.
  • Geist, C., Endriss, U. (2011) Automated Search for Impossibility Theorems in Social Choice Theory: Ranking Sets of Objects.
    Journal of Artificial Intelligence Research, Vol. 40 (pp 143-174)
  • Geist, C., Löwe, B., van Kerkhove, B. (2010) Peer review and knowledge by testimony in mathematics.
    In Löwe, B. Müller, T. (Eds.), PhiMSAMP: philosophy of mathematics: sociological aspects and mathematical practice (pp 155-178) (Texts in philosophy). College Publications.
  • Gencer, Ç., de Jongh, D. (2009) Unifiability in extensions of K4.
    Logic Journal of the IGPL, Vol. 17 (pp 159-172)
  • Gennari, R. (2000) The GIF Algorithm.
    Institute for Logic, Language and Computation.
  • Gennari, R. (2000) Arc Consistency via Subsumed Functions.
    Lecture Notes in Computer Science, Vol. 1861 (pp 358-372)
    Article | UvA-DARE
  • Gennari, R. (2001) Translations for comparing soft frameworks.
    In Walsh, T. (Eds.), Proceedings of CP01, volume 2239 of LNCS, 2239
    Conference contribution | UvA-DARE
  • Gennari, R. (2001) General schema for constraint propagation.
    Joint Bulletin of the Novosibirsk Computing Center and Institute of Information Systems, Vol. 2
    Article | UvA-DARE
  • Gennari, R. (2002) Mapping Inferences: Constraint Propagation and Diamond Satisfaction.
    ILLC Dissertation Series DS-2002-05.
    Thesis, fully internal | UvA-DARE
  • Geraci, C., Oomen, M., Santoro, M. (2022) As strong as an NPI in LSF, NGT and LIS.
    Proceedings from Semantics and Linguistic Theory, Vol. 32 (pp 125-143)
  • Gerbrandy, J., Marx, M., de Rijke, M., Venema, Y. (1999) JFAK. Essays Dedicated to Johan van Benthem on the Occasion of his 50th Birthday.
    Vossiuspers - Amsterdam University Press.
    Digital or Visual Products | UvA-DARE

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