van Benthem, J.F.A.K., van Eijck, J., 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, J., Kooi, B. (2005) Common Knowledge in Update Logics.

In R. van der Meyden (Eds.), Proceedings TARK 10 (pp 253-261)

van Benthem, J.F.A.K., van Eijck, J., Kooi, B. (2006) Logics of Communication and Change.

Information and Computation, Vol. 204 (pp 1620-1662)

Article | https://doi.org/10.1016/j.ic.2006.04.006 | UvA-DARE

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.

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., van Ulsen, P., Visser, H. (2008) Logic and Scientific Philosophy: An E.W. Beth Centenary Celebration.

Evert Willem Beth Foundation.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K., Velázquez-Quesada, F.R. (2010) The dynamics of awareness.

Synthese, Vol. 177 (pp 5-27)

Article | https://doi.org/10.1007/s11229-010-9764-9 | UvA-DARE

van Benthem, J.F.A.K., Westerståhl, D. (1995) Directions in Generalized Quantifier Theory.

Studia Logica, Vol. 55 (pp 389-419)

Article | UvA-DARE

van Benthem, J.F.A.K., Westerståhl, D. (2021) Generalized Quantifiers Meet Modal Neighborhood Semantics.

In Madarász, J. Székely, G. (Eds.), Hajnal Andréka and István Németi on Unity of Science: From Computing to Relativity Theory Through Algebraic Logic (pp 187-207) (Outstanding Contributions to Logic, Vol. 19). Springer.

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.

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.

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.

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.

van Benthem, J.F.A.K. (1995) Back and Forth Between Modal Logic and Classical Logic.

Logic journal of the IGPL, Vol. 3 (pp 685-720)

Article | UvA-DARE

van Benthem, J.F.A.K. (1995) Quantifiers in the World of Types.

In van Eyck, J. van der Does, J. (Eds.), Quantifiers, Logic Language, CSLI Lecture Notes (pp 45-60). Cambridge University Press.

van Benthem, J.F.A.K. (1995) Temporal Logic.

In Hoggar, C. Gabbay, D. Robinson, J. (Eds.), Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4 (pp 241-350). University Press.

van Benthem, J.F.A.K. (1995) Modal Foundations for Predicate Logic.

Technical Report. onbekend (FdL).

Report | UvA-DARE