Searchable List of Research Output

Filter Publications
  • van Benthem, J.F.A.K. Liu, F. (2005) Dynamic Logic of Preference Upgrade.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. Liu, F. (2007) Dynamic Logic of Preference Upgrade.
    Journal of Applied Non-Classical Logics, Vol. 17 (pp 157-182)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. Sarenac, D. (2003) The Geometry of Knowledge.
    In Béziau, J.-Y. Costa Leite, A. Facchini, A. (Eds.), Aspects of Universal Logic. Selected Papers . (pp 1-31). Université de Neuchâtel.
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. Sarenac, D. (2004) The Geometry of Knowledge.
    Tech Report ILLC PP. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. Scotto di Luzio, P. Barker-Plummer, D. Beaver, D.I. (2002) Words, Proofs and Diagrams.
    CSLI Publications.
    Book (Editorship) | UvA-DARE
  • van Benthem, J.F.A.K. Shier, J. Veltman, F. (2007) A Meeting of the Minds: proceedings LORI Workshop Beijing.
    King's College Publications.
    Book (Editorship) | UvA-DARE
  • van Benthem, J.F.A.K. Stokhof, M.J.B. (2022) A Brief History of the Institute for Logic, Language and Computation: People, Ideas and Practices.
    ILLC-Universiteit van Amsterdam.
    Book | UvA-DARE
  • van Benthem, J.F.A.K. van Eijck, D.J.N. Kooi, B. (2005) Logics of Communication and Change.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. van Eijck, D.J.N. Kooi, B. (2005) Common Knowledge in Update Logics.
    In R. van der Meyden (Eds.), Proceedings TARK 10 (pp 253-261)
    Conference contribution | UvA-DARE
  • van Benthem, J.F.A.K. van Eijck, D.J.N. Kooi, B. (2006) Logics of Communication and Change.
    Information and Computation, Vol. 204 (pp 1620-1662)
  • van Benthem, J.F.A.K. van Eyck, J. Stebletsova, V. (1994) Modal Logic, Transition Systems and Processes.
    Journal of Logic and Computation, Vol. 4 (pp 811-855)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. van Otterloo, S.G. Roy, O. (2005) Preference logic, conditionals and solution concepts in games.
    Technical Reports. Institute for Logic, Language and Computation.
    Working paper | UvA-DARE
  • van Benthem, J.F.A.K. van Otterloo, S.G. Roy, O. (2006) Preference Logic, Conditionals, and Solution Concepts in Games.
    In Lagerlund, H. Lindstrom, S. Sliwinski, R. (Eds.), Modality Matters (pp 61-76). University of Uppsala.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. van Rooy, R.A.M. (2003) Connecting the different faces of information.
    Journal of Logic, Language and Information, Vol. 12 (pp 1-4)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. Westerstahl, D. (1995) Directions in Generalized Quantifier Theory.
    Studia Logica, Vol. 55 (pp 389-419)
    Article | UvA-DARE
  • van Benthem, J.F.A.K. (1994) The Landscape of Deductio.
    In Schroder-Heister, P. Dosen, K. (Eds.), Substructural Logics (pp 357-376). Clarendon Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (1994) Dynamic Arrow Logic.
    In Visser, A. van Eyck, J. (Eds.), Logic and Information Flow (pp 15-29). MIT Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (1994) Logica in Veelvoud.
    RADAR (pp 364-373)
    Meeting Abstract | UvA-DARE
  • van Benthem, J.F.A.K. (1994) General Dynamic Logic.
    In Gabbay, D. (Eds.), What is a Logical System? (pp 107-139). Oxford University Press.
    Chapter | UvA-DARE
  • van Benthem, J.F.A.K. (1994) A New World Underneath Standard Logic.
    In Schrijvers, L. Apt, K. Temme, N. (Eds.), From Universal Morphisms to Megabytes: A Baayen Space Odyssey (pp 179-186). CWI.
    Chapter | 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