uva.nl

Institute for Logic, Language and Computation

Searchable List of Research Output

Filter Publications
  • van Benthem, J. Bezhanishvili, N. Hodkinson, I. (2012) Sahlqvist correspondence for modal mu-calculus.
    Studia Logica, Vol. 100 (pp 31-60)
  • van Benthem, J. Bezhanishvili, N. Holliday, W.H. (2017) A bimodal perspective on possibility semantics.
    Journal of Logic and Computation, Vol. 27 (pp 1353-1389)
  • van Benthem, J. Bezhanishvili, N. (2023) Modern Faces of Filtration.
    In Faroldi, F.L.G. Van De Putte, F. (Eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic (pp 23-61) (Outstanding Contributions to Logic, Vol. 26). Springer.
  • van Benthem, J. Bezhanishvili, N. (2024) Modal structures in groups and vector spaces.
    Journal of Logic and Computation, Vol. 34 (pp 75-124)
  • van Benthem, J. Bonnay, D. (2008) Modal logic and invariance.
    Journal of Applied Non-Classical Logics, Vol. 18 (pp 153-173)
  • van Benthem, J. Dégremont, C. (2010) Bridges between dynamic doxastic and doxastic temporal logics.
    In Bonanno, G. Löwe, B. van der Hoek, W. (Eds.), Logic and the Foundations of Game and Decision Theory – LOFT 8: 8th international conference, Amsterdam, The Netherlands, July 3-5, 2008 : revised selected papers (pp 151-173) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence
    FoLLI publications on logic, language and information, Vol. 6006). Springer.
  • van Benthem, J. Dekker, P. van Eijck, J. de Rijke, M. Venema, Y. (2001) Logic in Action.
    ILLC, University of Amsterdam.
    Book | UvA-DARE
  • van Benthem, J. Fernández-Duque, D. Pacuit, E. (2012) Evidence Logic: A New Look at Neighborhood Structures.
    In Bolander, T. Braüner, T. Ghilardi, S. Moss, L. (Eds.), Advances in Modal Logic: AiML 9 (pp 97-118). College Publications.
  • van Benthem, J. Fernández-Duque, D. Pacuit, E. (2014) Evidence and Plausibility in Neighborhood Structures.
    Annals of Pure and Applied Logic, Vol. 165 (pp 106-133)
  • van Benthem, J. Gabbay, D. Löwe, B. (2007) Interactive logic: selected papers from the 7th Augustus de Morgan workshop, London.
    Texts in logic and games. Amsterdam University Press.
    Book (Editorship) | UvA-DARE
  • van Benthem, J. Gerbrandy, J. Hoshi, T. Pacuit, E. (2009) Merging frameworks for interaction.
    Journal of Philosophical Logic, Vol. 38 (pp 491-521)
  • van Benthem, J. Gerbrandy, J. Kooi, B. (2009) Dynamic update with probabilities.
    Studia Logica, Vol. 93 (pp 67-96)
  • van Benthem, J. Gheerbrant, A. (2010) Game solution, epistemic dynamics and fixed-point logics.
    Fundamenta Informaticae, Vol. 100 (pp 19-41)
  • van Benthem, J. Ghosh, S. Verbrugge, R. (2015) Models of Strategic Reasoning: Logics, Games, and Communities.
    Lecture Notes in Computer Science
    FoLLI Publications on Logic, Language and Information, Vol. 8972. Springer.
  • van Benthem, J. Girard, P. Roy, O. (2009) Everything else being equal: A modal logic for ceteris paribus preferences.
    Journal of Philosophical Logic, Vol. 38 (pp 83-125)
  • van Benthem, J. Grossi, D. Liu, F. (2010) Deontics = Betterness + Priority.
    In Governatori, G. Sartor, G. (Eds.), Deontic Logic in Computer Science: 10th international conference, DEON 2010, Fiesole, Italy, July 7-9, 2010 : proceedings (pp 50-65) (Lecture Notes in Computer Science
    Lecture Notes in Artificial Intelligence, Vol. 6181). Springer.
  • van Benthem, J. Grossi, D. Liu, F. (2014) Priority Structures in Deontic Logic.
    Theoria, Vol. 80 (pp 116-152)
  • van Benthem, J. Gupta, A. Pacuit, E. (2011) Games, norms and reasons: logic at the crossroads.
    Synthese library. Springer.
  • van Benthem, J. Gupta, A. Parikh, R. (2011) Proof, computation and agency: logic at the crossroads.
    Synthese library. Springer.
  • van Benthem, J. Hendricks, V.F. Symons, J. (2008) Editorial.
    Synthese, Vol. 160 (pp 1-4)
1 ... 246 247 248 249 250 251 252 253 254 ... 307

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