van Benthem, J.F.A.K., Icard, T. (2023) Interleaving logic and counting.

Bulletin of Symbolic Logic, Vol. 29 (pp 503-587)

Article | https://doi.org/10.1017/bsl.2023.30 | UvA-DARE

van Benthem, J.F.A.K., Icard, T.F. (2021) Interleaving Logic and Counting: A view from the bottom.

Abstract | UvA-DARE

van Benthem, J.F.A.K., Ikegami, D. (2008) Modal fixed-point logic and changing models.

In Avron, A. Dershowitz, N. Rabinovich, A. (Eds.), Pillars of computer science: Essays dedicated to Boris (Boaz) Trakhtenbrot on the occasion of his 85th birthday (pp 146-165) (Lecture notes in computer science). Springer.

van Benthem, J.F.A.K., Israel, D. (1999) Review of Barwise & Seligman "Information Flow".

Journal of Logic, Language and Information, Vol. 8 (pp 390-397)

Article | UvA-DARE

van Benthem, J.F.A.K., Klein, D. (2019) Logics for Analyzing Games.

Stanford Encyclopedia of Philosophy, Vol. 2019

Article | https://plato.stanford.edu/archives/spr2019/entries/logics-for-games/ | UvA-DARE

van Benthem, J.F.A.K., Kooi, B. (2004) Reduction Axioms for Epistemic Actions.

In Schmidt, R. Pratt-Hartmann, I. Reynolds, M. Wansing, H. (Eds.), Proceedings Advances in Model Logic 2004 (pp 197-211). Department of Computer Science, University of Manchester.

van Benthem, J.F.A.K., Kuipers, T., Visser, H. (2011) Introduction to ‘Logic and philosophy of science: in the footsteps of E.W. Beth’.

Synthese, Vol. 179 (pp 203-206)

Article | https://doi.org/10.1007/s11229-010-9774-7 | UvA-DARE

van Benthem, J.F.A.K., Li, L., Shi, C., Yin, H. (2023) Hybrid sabotage modal logic.

Journal of Logic and Computation, Vol. 33 (pp 1216-1242)

Article | https://doi.org/10.1093/LOGCOM/EXAC006 | UvA-DARE

van Benthem, J.F.A.K., Liu, F., Smets, S. (2021) Logico-Computational Aspects of Rationality.

In Knauff, M. Spohn, W. (Eds.), The Handbook of Rationality (pp 185–196). The MIT Press.

van Benthem, J.F.A.K., Liu, F. (2004) Diversity of Logical Agents in Games.

Tech. Report ILLC PP. Institute for Logic, Language and Computation.

Working paper | UvA-DARE

van Benthem, J.F.A.K., Liu, F. (2004) Diversity of Logical Agents in Games.

Philosophiae Scientiae, Vol. 8 (pp 163-178)

Article | UvA-DARE

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., Liu, F. (2013) Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013.

Studies in logic, Vol. 47. College Publications.

Book (Editorship) | UvA-DARE

van Benthem, J.F.A.K., Liu, F. (2014) Deontic Logic and Preference Change.

The IfCoLog Journal of Logics and their Applications, Vol. 1 (pp 1-46)

Article | http://www.collegepublications.co.uk/journals/ifcolog/?00002 | UvA-DARE

van Benthem, J.F.A.K., Liu, F. (2014) Where is Logic Going?.

Studies in Logic, Vol. 7 (pp 84-99)

Article | http://studiesinlogic.sysu.edu.cn:8080/ljxyj/EN/abstract/abstract16.shtml | UvA-DARE

van Benthem, J.F.A.K., Liu, F. (2018) Deontic Logic and Changing Preferences.

In Gabbay, D.M. Guenthner, F. (Eds.), Handbook of Philosophical Logic (pp 1-49). Springer.

van Benthem, J.F.A.K., Liu, F. (2020) Graph Games and Logic Design.

In Liu, F. Ono, H. Yu, J. (Eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (pp 125-146) (Logic in Asia: Studia Logica Library). Springer.

van Benthem, J.F.A.K., Liu, F. (2020) New Logical Perspectives on Monotonicity.

In Deng, D. Liu, F. Liu, M. Westerståhl, D. (Eds.), Monotonicity in Logic and Language: Second Tsinghua Interdisciplinary Workshop on Logic, Language and Meaning, TLLM 2020, Beijing, China, December 17-20, 2020 : proceedings (pp 1-12) (Lecture Notes in Computer Science
FoLLI Publications on Logic, Language and Information, Vol. 12564). Springer.

van Benthem, J.F.A.K., Martinez, M. (2008) The stories of logic and information.

In Adriaans, P. van Benthem, J. (Eds.), Philosophy of information (pp 217-280) (Handbook of the philosophy of science). North Holland.