-
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.Chapter | https://doi.org/10.1007/978-3-540-78127-1_9 | UvA-DAREvan 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-DAREvan Benthem, J.F.A.K., Klein, D. (2019) Logics for Analyzing Games.Stanford Encyclopedia of Philosophy, Vol. 2019van 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.Conference contribution | UvA-DAREvan 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-DAREvan 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-DAREIn Knauff, M. Spohn, W. (Eds.), The Handbook of Rationality (pp 185–196). The MIT Press.Chapter | https://eprints.illc.uva.nl/id/eprint/1677/ | UvA-DAREvan Benthem, J.F.A.K., Liu, F. (2004) Diversity of Logical Agents in Games.Philosophiae Scientiae, Vol. 8 (pp 163-178)Article | UvA-DAREvan 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-DAREvan Benthem, J.F.A.K., Liu, F. (2005) Dynamic Logic of Preference Upgrade.Technical Reports. Institute for Logic, Language and Computation.Working paper | UvA-DAREvan 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-DAREvan 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-DAREvan Benthem, J.F.A.K., Liu, F. (2014) Where is Logic Going?.Studies in Logic, Vol. 7 (pp 84-99)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)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.Chapter | https://doi.org/10.1007/978-3-319-97755-3_1 | UvA-DAREvan 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.Conference contribution | https://doi.org/10.1007/978-3-662-62843-0_1 | UvA-DAREvan 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.Chapter | https://doi.org/10.1007/978-981-15-2221-5_7 | UvA-DAREvan 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.van Benthem, J.F.A.K., Meyer, J.-J.C., Witteveen, C., Wooldridge, M. (2009) Wiebe Fest 2009: a workshop in honour of our friend and colleague Professor Wiebe van der Hoek on the occasion of his fiftieth birthday : 16 March 2009 - University of Liverpool.University of Liverpool, Department of Computer Science.Book (Editorship) | http://cgi.csc.liv.ac.uk/~kjc/wiebe-fest.pdf | UvA-DAREThe 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 illc at uva.nl