Prof. dr. J.F.A.K. (Johan) van Benthem
Faculteit der Natuurwetenschappen, Wiskunde en Informatica
ILLC
Bezoekadres
- Science Park 105
Postadres
-
Postbus 94242
1090 GE Amsterdam
Contactgegevens
-
Publicaties
- refereed (120)
- wetenschappelijk (34)
- vakpublicatie (2)
- populair wetenschappelijk (5)
- congresbijdragen (1)
- erkenning (5)
- supervised theses (1)
2024
van Benthem, J., & Bezhanishvili, N. (2024). Modal structures in groups and vector spaces. Journal of Logic and Computation, 34(1), 75-124. https://doi.org/10.1093/logcom/exac105 [details]
2023
- Baltag, A., van Benthem, J., & Westerståhl, D. (2023). Compositionality in Context. In A. Palmigiano, & M. Zadrzadeh (Eds.), Samson Abramsky on Logic and Structure in Computer Science and Beyond (pp. 773-812). (Outstanding Contributions to Logic; Vol. 25). Springer. https://doi.org/10.1007/978-3-031-24117-8_21 [details]
- van Benthem, J. (2023). The Logic of Conditionals on Outback Trails. Logic Journal of the IGPL, 31(6), 1135–1152. Advance online publication. https://doi.org/10.1093/jigpal/jzac064 [details]
- van Benthem, J., & Bezhanishvili, N. (2023). Modern Faces of Filtration. In F. L. G. Faroldi, & F. Van De Putte (Eds.), Kit Fine on Truthmakers, Relevance, and Non-classical Logic (pp. 23-61). (Outstanding Contributions to Logic; Vol. 26). Springer. https://doi.org/10.1007/978-3-031-29415-0_3 [details]
- van Benthem, J., & Icard, T. (2023). Interleaving logic and counting. Bulletin of Symbolic Logic, 29(4), 503-587. https://doi.org/10.1017/bsl.2023.30 [details]
- van Benthem, J., Li, L., Shi, C., & Yin, H. (2023). Hybrid sabotage modal logic. Journal of Logic and Computation, 33(6), 1216-1242. https://doi.org/10.1093/LOGCOM/EXAC006 [details]
2022
- van Benthem, J., Mierzewski, K., & Zaffora Blando, F. (2022). The Modal Logic of Stepwise Removal. Review of Symbolic Logic, 15(1), 36-63. Advance online publication. https://doi.org/10.1017/S1755020320000258 [details]
- van Benthem, J., ten Cate, B., & Koudijs, R. (2022). Local Dependence and Guarding. In D. Fernández-Duque, A. Palmigiano, & S. Pinchinat (Eds.), Advances in Modal Logic: AiML 14 (pp. 135-154). College Publications. https://doi.org/10.48550/arXiv.2206.06046 [details]
2021
- Baltag, A., & van Benthem, J. (2021). A Simple Logic of Functional Dependence. Journal of Philosophical Logic, 50(5), 939-1005. Advance online publication. https://doi.org/10.1007/s10992-020-09588-z [details]
- van Benthem, J. (2021). Semantic Perspectives in Logic. In G. Sagi, & J. Woods (Eds.), The Semantic Conception of Logic: Essays on Consequence, Invariance, and Meaning (pp. 117-141). Cambridge University Press. https://doi.org/10.1017/9781108524919.007 [details]
- van Benthem, J., & Westerståhl, D. (2021). Generalized Quantifiers Meet Modal Neighborhood Semantics. In J. Madarász, & G. Székely (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. https://doi.org/10.1007/978-3-030-64187-0_8 [details]
- van Benthem, J., Liu, F., & Smets, S. (2021). Logico-Computational Aspects of Rationality. In M. Knauff, & W. Spohn (Eds.), The Handbook of Rationality (pp. 185–196). The MIT Press. https://eprints.illc.uva.nl/id/eprint/1677/ [details]
2020
- Baltag, A., & van Benthem, J. (2020). Some Thoughts on the Logic of Imprecise Observation. In X. Ying (Ed.), Xue bu fen dong xi: Qing hua da xue zhe xue xi jiao shi lun wen ji (pp. 329-364). Qing hua da xue chu ban she. https://eprints.illc.uva.nl/1660/1/2018.MarginError.pdf [details]
- van Benthem, J. (2020). Lof der onmogelijkheid. Wijsgerig Perspectief, 60(4), 47. [details]
- van Benthem, J., & Liu, F. (2020). Graph Games and Logic Design. In F. Liu, H. Ono, & J. Yu (Eds.), Knowledge, Proof and Dynamics: The Fourth Asian Workshop on Philosophical Logic (pp. 125-146). (Logic in Asia: Studia Logica Library). Springer. https://doi.org/10.1007/978-981-15-2221-5_7 [details]
- van Benthem, J., & Liu, F. (2020). New Logical Perspectives on Monotonicity. In D. Deng, F. Liu, M. Liu, & D. Westerståhl (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; Vol. 12564), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-62843-0_1 [details]
2019
- van Benthem, J. (2019). Implicit and Explicit Stances in Logic. Journal of Philosophical Logic, 48(3), 571-601. Advance online publication. https://doi.org/10.1007/s10992-018-9485-y [details]
- van Benthem, J. (2019). Vistas from a Drop of Water. In E. Alonso, A. Huertas, & A. Moldovan (Eds.), Aventuras en el Mundo de la Lógica: Ensayos en Honor a María Manzano (pp. 59-74). (Cuadernos de lógica, Epistemología y Lenguaje ; Vol. 13). College Publications. [details]
- van Benthem, J., & Klein, D. (2019). Logics for Analyzing Games. Stanford Encyclopedia of Philosophy, 2019(Spring). https://plato.stanford.edu/archives/spr2019/entries/logics-for-games/ [details]
- van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A new game equivalence, its logic and algebra. Journal of Philosophical Logic, 48(4), 649-684. Advance online publication. https://doi.org/10.1007/s10992-018-9489-7 [details]
- van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2019). A propositional dynamic logic for instantial neighbourhood semantics. Studia Logica, 107(4), 719-751. Advance online publication. https://doi.org/10.1007/s11225-018-9825-5 [details]
2018
- Aucher, G., van Benthem, J., & Grossi, D. (2018). Modal logics of sabotage revisited. Journal of Logic and Computation, 28(2), 269–303. https://doi.org/10.1093/logcom/exx034 [details]
- Van Benthem, J., & Liu, F. (2018). Deontic Logic and Changing Preferences. In D. M. Gabbay, & F. Guenthner (Eds.), Handbook of Philosophical Logic (Vol. 18, pp. 1-49). Springer. https://doi.org/10.1007/978-3-319-97755-3_1 [details]
- van Benthem, J. (2018). Computation as social agency: What, how and who. Information and Computation, 261(3), 519-535. Advance online publication. https://doi.org/10.1016/j.ic.2017.09.009 [details]
- van Benthem, J. (2018). Constructive agents. Indagationes Mathematicae, 29(1), 23-35. https://doi.org/10.1016/j.indag.2017.10.004 [details]
- van Benthem, J., van Eijck, J., Gattinger, M., & Su, K. (2018). Symbolic Model Checking for Dynamic Epistemic Logic – S5 and Beyond. Journal of Logic and Computation, 28(2), 367-402. Advance online publication. https://doi.org/10.1093/logcom/exx038 [details]
2017
- Andréka, H., van Benthem, J., & Németi, I. (2017). On a New Semantics for First-Order Predicate Logic. Journal of Philosophical Logic, 46(3), 259–267. Advance online publication. https://doi.org/10.1007/s10992-017-9429-y [details]
- van Benthem, J. (2017). Against All Odds: When Logic Meets Probability. In J-P. Katoen, R. Langerak, & A. Rensink (Eds.), ModelEd, TestEd, TrustEd: Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday (pp. 239-253). (Lecture Notes in Computer Science; Vol. 10500). Springer. https://doi.org/10.1007/978-3-319-68270-9_12 [details]
- van Benthem, J. (2017). An Old Discipline with a New Twist: The Course “Logic in Action”. The IfCoLog Journal of Logics and their Applications, 4(1), 33-53. http://www.collegepublications.co.uk/journals/ifcolog/?00010 [details]
- van Benthem, J. (2017). Bunebrivi logika: 1980-iani wlebis kvlevebi. Ena Logika Kompiuterizac'ia, 5, 55-84. https://www3.risc.jku.at/people/tkutsia/clls/llc/2017_v05.pdf [details]
- van Benthem, J. (2017). Logic in Play. In H. Leitgeb, I. Niiniluoto, P. Seppälä, & E. Sober (Eds.), Logic, Methodology and Philosophy of Science: Proceedings of the Fifteenth International Congress (Helsinki) : models and modelling (pp. 3-39). College Publications. [details]
- van Benthem, J. (2017). Talking About Knowledge. In C. Başkent, L. S. Moss, & R. Ramanujam (Eds.), Rohit Parikh on Logic, Language and Society (pp. 121-143). (Outstanding Contributions to Logic; Vol. 11). Springer. https://doi.org/10.1007/978-3-319-47843-2_8 [details]
- van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A new game equivalence and its modal logic. Electronic Proceedings in Theoretical Computer Science, 251, 57-74. https://doi.org/10.4204/EPTCS.251.5 [details]
- van Benthem, J., Bezhanishvili, N., & Enqvist, S. (2017). A propositional dynamic logic for instantial neighborhood models. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, Rationality, and Interaction: 6th International Workshop, LORI 2017, Sapporo, Japan, September 11-14, 2017 : proceedings (pp. 137-150). (Lecture Notes in Computer Science; Vol. 10455), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-55665-8_10 [details]
- van Benthem, J., Bezhanishvili, N., & Holliday, W. H. (2017). A bimodal perspective on possibility semantics. Journal of Logic and Computation, 27(5), 1353-1389. Advance online publication. https://doi.org/10.1093/logcom/exw024 [details]
- van Benthem, J., Bezhanishvili, N., Enqvist, S., & Yu, J. (2017). Instantial neighbourhood logic. Review of Symbolic Logic, 10(1), 116-144. Advance online publication. https://doi.org/10.1017/S1755020316000447 [details]
2016
- van Benthem, J. (2016). Tracking Information. In K. Bimbó (Ed.), J. Michael Dunn on Information Based Logics (pp. 363-389). (Outstanding Contributions to Logic; Vol. 8). Springer. https://doi.org/10.1007/978-3-319-29300-4_17 [details]
- van Benthem, J. F. A. K. (2016). Modal Logic: A Contemporary View. In Internet Encyclopedia of Philosophy http://www.iep.utm.edu/modal-lo/
2015
- Aucher, G., van Benthem, J., & Grossi, D. (2015). Sabotage modal logic: Some model and proof theoretic aspects. In W. van der Hoek, W. H. Holliday, & W.-F. Wang (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp. 1-13). (Lecture Notes in Computer Science; Vol. 9394), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48561-3_1 [details]
- van Benthem, J. (2015). Fanning the Flames of Reason: A Personal View of Logic. Studies in Logic, 8(1), 2-22. http://en.oversea.cnki.net/kcms/detail/detail.aspx?QueryID=22&CurRec=2&dbCode=CJFD&filename=LJXJ201501002&dbname=CJFDLAST2015 [details]
- van Benthem, J. (2015). Fanning the Flames of Reason: a personal view of logic. Nieuw Archief voor Wiskunde, 5/16(1), 52-61. http://www.nieuwarchief.nl/serie5/pdf/naw5-2015-16-1-052.pdf [details]
- van Benthem, J. (2015). Logic and Philosophy, A Sea of Stories. Tsinghua Studies in Western Philosophy, 1(1), 124-153. http://www.tsinghua.edu.cn/publish/dphien/9647/20150721/35541437473787439.pdf [details]
- van Benthem, J. (2015). Logic of strategies: What and how? In J. van Benthem, S. Ghosh, & R. Verbrugge (Eds.), Models of Strategic Reasoning: Logics, Games, and Communities (pp. 321-332). (Lecture Notes in Computer Science; Vol. 8972), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48540-8_10 [details]
- van Benthem, J. (2015). Nonstandard Reasoning. In J. D. Wright (Ed.), International encyclopedia of the social & behavioral sciences (2 ed., Vol. 16, pp. 924-929). Elsevier. https://doi.org/10.1016/B978-0-08-097086-8.43070-9 [details]
- van Benthem, J. (2015). Oscillations, Logic, and Dynamical Systems. In S. Ghosh, & J. Szymanik (Eds.), The facts matter: essays on logic and cognition in honour of Rineke Verbrugge (pp. 9-22). (Tributes; No. 25). College Publications. [details]
- van Benthem, J. (2015). Rechtvaardigen als Dynamisch Logisch Proces. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 107(2), 147-153. https://doi.org/10.5117/ANTW2015.2.BENT [details]
- van Benthem, J., & Smets, S. (2015). Dynamic Logics of Belief Change. In H. van Ditmarsch, J. Halpern, W. van der Hoek, & B. Kooi (Eds.), Handbook of epistemic logic (pp. 313-394). College Publications. http://collegepublications.co.uk/handbooks/?00002 [details]
- van Benthem, J., van Eijck, J., Gattinger, M., & Su, K. (2015). Symbolic Model Checking for Dynamic Epistemic Logic. In W. van der Hoek, W. H. Holliday, & W-F. Wang (Eds.), Logic, Rationality, and Interaction: 5th International Workshop, LORI 2015, Taipei, Taiwan, October 28-30, 2015 : proceedings (pp. 366-378). (Lecture Notes in Computer Science ; Vol. 9394), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48561-3_30 [details]
2014
- Andréka, H., van Benthem, J., Bezhanishvili, N., & Németi, I. (2014). Changing a semantics: opportunism or courage? In M. Manzano, I. Sain, & E. Alonso (Eds.), The life and work of Leon Henkin: essays on his contributions (pp. 307-337). (Studies in Universal Logic). Birkhäuser. https://doi.org/10.1007/978-3-319-09719-0_20 [details]
- van Benthem, J. (2014). Logica en Recht: Naar een Rijkere Relatie. In M. Groenhuijsen, E. Hondius, & A. Soeteman (Eds.), Recht in geding (pp. 71-83). Boom Juridische uitgevers. [details]
- van Benthem, J. (2014). Modeling Reasoning in a Social Setting. Studia Logica, 102(2), 235-265. https://doi.org/10.1007/s11225-014-9543-6 [details]
- van Benthem, J. (2014). Natural Language and Logic of Agency. Journal of Logic, Language and Information, 23(3), 367-382. https://doi.org/10.1007/s10849-014-9188-x [details]
- van Benthem, J. (2014). Two Logical Faces of Belief Revision. In R. Trypuz (Ed.), Krister Segerberg on logic of actions (pp. 281-300). (Outstanding contributions to logic; Vol. 1). Springer. https://doi.org/10.1007/978-94-007-7046-1_13 [details]
- van Benthem, J., & Liu, F. (2014). Deontic Logic and Preference Change. The IfCoLog Journal of Logics and their Applications, 1(2), 1-46. http://www.collegepublications.co.uk/journals/ifcolog/?00002 [details]
- van Benthem, J., & Pacuit, E. (2014). Connecting Logics of Choice and Change. In T. Müller (Ed.), Nuel Belnap on indeterminism and free action (pp. 291-314). (Outstanding contributions to logic; Vol. 2). Springer. https://doi.org/10.1007/978-3-319-01754-9_14 [details]
- van Benthem, J., Fernández-Duque, D., & Pacuit, E. (2014). Evidence and Plausibility in Neighborhood Structures. Annals of Pure and Applied Logic, 165(1), 106-133. https://doi.org/10.1016/j.apal.2013.07.007 [details]
- van Benthem, J., Grossi, D., & Liu, F. (2014). Priority Structures in Deontic Logic. Theoria, 80(2), 116-152. https://doi.org/10.1111/theo.12028 [details]
2013
- van Benthem, J. (2013). Luo ji zhi men-- Yuehan Fanbentemu jing dian zhu zuo. - Juan 4: Luo ji, ren shi lun he fang fa lun. Ke xue chu ban she. [details]
- van Benthem, J. (2013). Bernard Bolzano’s Wissenschaftslehre. Topoi, 3(2), 301-303. Advance online publication. https://doi.org/10.1007/s11245-013-9160-4 [details]
- van Benthem, J. (2013). CRS and Guarded Logics: a fruitful contact. In H. Andréka, M. Ferenczi, & I. Németi (Eds.), Cylindric-like algebras and algebraic logic (pp. 273-301). (Bolyai Society Mathematical Studies; Vol. 22). Springer. https://doi.org/10.1007/978-3-642-35025-2_13 [details]
- van Benthem, J. (2013). Reasoning About Strategies. In B. Coecke, L. Ong, & P. Panangaden (Eds.), Computation, logic, games, and quantum foundations: the many facets of Samson Abramsky: essays dedicated to Samson Abramsky on the occasion of his 60th birthday (pp. 336-347). (Lecture Notes in Computer Science; Vol. 7860). Springer. https://doi.org/10.1007/978-3-642-38164-5_23 [details]
2012
- van Benthem, J. (2012). Dynamic Logic in Natural Language. In G. Russell, & D. Graff Fara (Eds.), The Routledge Companion to Philosophy of Language (pp. 652-666). (Routledge Philosophy Companions). Routledge. https://www.taylorfrancis.com/books/e/9781136594083/chapters/10.4324%2F9780203206966-62 [details]
- van Benthem, J. (2012). Foundational Issues in Logical Dynamics. In T. Bolander, T. Braüner, S. Ghilardi, & L. Moss (Eds.), Advances in Modal Logic: AiML 9 (pp. 95-96). College Publications. http://www.aiml.net/volumes/volume9/Benthem.pdf [details]
- van Benthem, J. (2012). In Praise of Strategies. In J. van Eijck, & R. Verbrugge (Eds.), Games, Actions and Social Software: Multidisciplinary Aspects (pp. 96-116). (Lecture Notes in Computer Science; Vol. 7010), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-29326-9_6 [details]
- van Benthem, J. (2012). The Logic of Empirical Theories Revisited. Synthese, 186(3), 775-792. https://doi.org/10.1007/s11229-011-9916-6 [details]
- van Benthem, J. F. A. K. (2012). Luo ji yu tui li: shi shi zhong yao ma? Hubei Daxue Xuebao (Zhexue Shehui Kexue Ban), 39(3), 1-9. http://xb.hubu.edu.cn/zsb/oa/DArticle.aspx?type=view&id=201203001 [details]
- van Benthem, J., & Minică, Ş. (2012). Toward a dynamic logic of questions. Journal of Philosophical Logic, 41(4), 633-669. https://doi.org/10.1007/s10992-012-9233-7 [details]
- van Benthem, J., & Smets, S. (2012). New logical perspectives on physics. Synthese, 186(3), 615-617. https://doi.org/10.1007/s11229-011-9911-y [details]
- van Benthem, J., Bezhanishvili, N., & Hodkinson, I. (2012). Sahlqvist correspondence for modal mu-calculus. Studia Logica, 100(1-2), 31-60. https://doi.org/10.1007/s11225-012-9388-9 [details]
- van Benthem, J., Fernández-Duque, D., & Pacuit, E. (2012). Evidence Logic: A New Look at Neighborhood Structures. In T. Bolander, T. Braüner, S. Ghilardi, & L. Moss (Eds.), Advances in Modal Logic: AiML 9 (pp. 97-118). College Publications. http://www.aiml.net/volumes/volume9/Benthem-Fernandez-Duque-Pacuit.pdf [details]
2011
- Van Benthem, J. (2011). Horror Contradictionis. In S. D. Hales (Ed.), A Companion to Relativism (pp. 511-525). (Blackwell Companions to Philosophy; Vol. 47). Wiley-Blackwell. https://doi.org/10.1002/9781444392494.ch26 [details]
- van Benthem, J. (2011). Belief update as social choice. In P. Girard, O. Roy, & M. Marion (Eds.), Dynamic Formal Epistemology (pp. 151-160). Springer. https://doi.org/10.1007/978-94-007-0074-1_8 [details]
- van Benthem, J. (2011). Exploring a theory of play. In K. R. Apt (Ed.), TARK XIII: theoretical aspects of rationality and knowledge : proceedings of the thirteenth conference (TARK 2011) (pp. 12-16). ACM. https://doi.org/10.1145/2000378.2000380 [details]
- van Benthem, J. (2011). Logic in a social setting. Episteme, 8(3), 227-247. https://doi.org/10.3366/epi.2011.0019 [details]
- van Benthem, J. (2011). McCarthy variations in a modal key. Artificial Intelligence, 175(1), 428-439. https://doi.org/10.1016/j.artint.2010.04.014 [details]
- van Benthem, J. (2011). One logician’s perspective on argumentation [in Chinese]. In Yearbook Philosophy Department, Tsinghua University. [details]
- van Benthem, J., & Pacuit, E. (2011). Dynamic logic of evidence-based beliefs. Studia Logica, 99(1), 61-92. https://doi.org/10.1007/s11225-011-9347-x [details]
- van Benthem, J., & Pacuit, E. (2011). Logical dynamics of evidence. In H. van Ditmarsch, J. Lang, & S. Ju (Eds.), Logic, Rationality, and Interaction: Third International Workshop, LORI 2011, Guangzhou, China, October 10-13, 2011: proceedings (pp. 1-27). (Lecture Notes in Computer Science; Vol. 6953), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-24130-7_1 [details]
- van Benthem, J., Pacuit, E., & Roy, O. (2011). Toward a theory of play: a logical perspective on games and interaction. Games, 2(1), 52-86. https://doi.org/10.3390/g2010052 [details]
2010
- van Benthem, J. (2010). Luo ji zhi men-- Yuehan Fanbentemu jing dian zhu zuo. - Juan 3: Mo tai dui ying li lun. Ke xue chu ban she. [details]
- van Benthem, J. (2010). Modal logic for open minds. (CSLI lecture notes; No. 199). CSLI Publications. [details]
- van Benthem, J. (2010). Categorial versus modal information theory. Linguistic Analysis, 36(1-4), 533-544. http://www.illc.uva.nl/Research/Reports/PP-2009-44.text.pdf [details]
- van Benthem, J. (2010). Frame correspondences in modal predicate logic. In S. Feferman, & W. Sieg (Eds.), Proofs, categories and computations: essays in honor of Grigori Mints (Tributes; No. 13). College Publications. [details]
- van Benthem, J. (2010). Logic between expressivity and complexity. In J. Giesl, & R. Hähnle (Eds.), Automated Reasoning: 5th international joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010 : proceedings (pp. 122-126). (Lecture Notes in Computer Science; Vol. 6173), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-642-14203-1_10 [details]
- van Benthem, J. (2010). Logic, mathematics, and general agency. In P. E. Bour, M. Rebuschi, & L. Rollet (Eds.), Construction: festschrift for Gerhard Heinzmann (pp. 277-296). (Tributes; No. 14). College Publications. [details]
- van Benthem, J. (2010). Куда должна, и должна ли, двигаться логика? Vox, 9. http://vox-journal.org/html/issues/vox9/139 [details]
- van Benthem, J., & Dégremont, C. (2010). Bridges between dynamic doxastic and doxastic temporal logics. In G. Bonanno, B. Löwe, & W. van der Hoek (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; Vol. 6006), (Lecture Notes in Artificial Intelligence), (FoLLI publications on logic, language and information). Springer. https://doi.org/10.1007/978-3-642-15164-4_8 [details]
- van Benthem, J., & Gheerbrant, A. (2010). Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100(1-4), 19-41. https://doi.org/10.3233/FI-2010-261 [details]
- van Benthem, J., & Velázquez-Quesada, F. R. (2010). The dynamics of awareness. Synthese, 177(S1), 5-27. https://doi.org/10.1007/s11229-010-9764-9 [details]
- van Benthem, J., Grossi, D., & Liu, F. (2010). Deontics = Betterness + Priority. In G. Governatori, & G. Sartor (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; Vol. 6181), (Lecture Notes in Artificial Intelligence). Springer. https://doi.org/10.1007/978-3-642-14183-6_6 [details]
- Ågotnes, T., van Benthem, J., van Ditmarsch, H., & Minică, Ş. (2010). Question-answer games. In LOFT 2010: 9th Conference on Logic and the Foundations of Game and Decision Theory: University of Toulouse (France), 5-7 July, 2010 University of Liverpool, Computer Science Department. http://loft2010.csc.liv.ac.uk/papers/34.pdf [details]
2009
- van Benthem, J. (2009). A brief history of natural logic [in Chinese]. In Values & culture (pp. 152-167). Beijing Normal University Publishing Group. [details]
- van Benthem, J. (2009). Actions that make us know. In J. Salerno (Ed.), New essays on the knowability paradox (pp. 129-146). Oxford University Press. http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-10.text.pdf [details]
- van Benthem, J. (2009). Decisions, actions, and games: A logical perspective. In R. Ramanujam, & S. Sarukkai (Eds.), Logic and Its Applications: Third Indian conference, ICLA 2009, Chennai, India, January 7-11, 2009 : proceedings (pp. 1-22). (Lecture Notes in Computer Science; Vol. 5378), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-540-92701-3_1 [details]
- van Benthem, J. (2009). For better or for worse: Dynamic logics of preference. In T. Grüne-Yanoff, & S. O. Hansson (Eds.), Preference change: Approaches from philosophy, economics and psychology (pp. 57-84). (Theory and decision library. Series A: Philosophy and methodology of the social sciences; Vol. 42). Springer. https://doi.org/10.1007/978-90-481-2593-7_3 [details]
- van Benthem, J. (2009). Logic and philosophy in the century that was. In F. Stoutland (Ed.), Philosophical probings: Essays on von Wright's later work Automatic Press. http://www.illc.uva.nl/Publications/ResearchReports/X-2008-11.text.pdf [details]
- van Benthem, J. (2009). Logic, rational agency, and intelligent interaction. In C. Glymour, W. Wang, & D. Westerståhl (Eds.), Logic, Methodology and Philosophy of Science XIII (Beijing, 2007) (pp. 137-161). College Publications. http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-06.text.pdf [details]
- van Benthem, J. (2009). One logician's perspective on argumentation. Cogency, 1(2), 13-25. [details]
- van Benthem, J. (2009). The information in intuitionistic logic. Synthese, 167(2), 251-270. https://doi.org/10.1007/s11229-008-9408-5 [details]
- van Benthem, J., & Minică, Ş. (2009). Toward a dynamic logic of questions. In X. He, J. Horty, & E. Pacuit (Eds.), Logic, Rationality, and Interaction: second international workshop, LORI 2009, Chongqing, China, October 8-11, 2009 : proceedings (pp. 27-41). (Lecture Notes in Computer Science; Vol. 5834), (Lecture Notes in Artificial Intelligence), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-642-04893-7_3 [details]
- van Benthem, J., Gerbrandy, J., & Kooi, B. (2009). Dynamic update with probabilities. Studia Logica, 93(1), 67-96. https://doi.org/10.1007/s11225-009-9209-y [details]
- van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2009). Merging frameworks for interaction. Journal of Philosophical Logic, 38(5), 491-521. https://doi.org/10.1007/s10992-008-9099-x [details]
- van Benthem, J., Girard, P., & Roy, O. (2009). Everything else being equal: A modal logic for ceteris paribus preferences. Journal of Philosophical Logic, 38(1), 83-125. https://doi.org/10.1007/s10992-008-9085-3 [details]
- van Benthem, J., ten Cate, B., & Väänänen, J. (2009). Lindström theorems for fragments of first-order logic. Logical Methods in Computer Science, 5(3), Article 3. https://doi.org/10.2168/LMCS-5(3:3)2009 [details]
- van Benthem, J., van Ditmarsch, H., & van Eijck, J. (2009). Logica in actie. Den Haag: Academic Service. [details]
2008
- Adriaans, P., & van Benthem, J. (2008). Introduction: Information is what information does. In P. Adriaans, & J. van Benthem (Eds.), Philosophy of information (pp. 3-26). (Handbook of the philosophy of science; No. 8). North Holland. http://www.illc.uva.nl/Publications/ResearchReports/X-2008-10.text.pdf [details]
- van Benthem, J. (2008). "Tell it like it is": Information flow in logic. Beijing Daxue xuebao. Zhexue shehui kexue ban = Journal of Peking University. Philosophy and social sciences, 45(1), 80-90. http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-08.text.pdf [details]
- van Benthem, J. (2008). A brief history of natural logic. In M. K. Chakraborty, M. K. Chakraborti, M. N. Mitra, B. Löwe, & S. Sarukkai (Eds.), Logic, Navya-Nyāya & applications: Homage to Bimal Krishna Matilal (pp. 21-42). College Publications. http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-05.text.pdf [details]
- van Benthem, J. (2008). Computation as conversation. In S. B. Cooper, B. Löwe, & A. Sorbi (Eds.), New computational paradigms: Changing conceptions of what is computable (pp. 35-58). Springer. https://doi.org/10.1007/978-0-387-68546-5_3 [details]
- van Benthem, J. (2008). Constanten, of variabelen, van het logisch denken. Algemeen Nederlands Tijdschrift voor Wijsbegeerte, 100(4), 247-268. http://www.illc.uva.nl/Publications/ResearchReports/X-2008-09.text.pdf [details]
- van Benthem, J. (2008). Games that make sense: Logic, language and multi-agent interaction. In K. R. Apt, & R. van Rooij (Eds.), New Perspectives on Games and Interaction (pp. 197-209). (Texts in logic and games; Vol. 4). Amsterdam University Press. http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-02.text.pdf [details]
- van Benthem, J. (2008). Logic and reasoning: Do the facts matter? Studia Logica, 88(1), 67-84. https://doi.org/10.1007/s11225-008-9101-1 [details]
- van Benthem, J. (2008). Logical dynamics meets logical pluralism? The Australasian Journal of Logic, 6, 182-209. http://www.philosophy.unimelb.edu.au/ajl/2008/index.html#12 [details]
- van Benthem, J. (2008). Man muss immer umkehren! In C. Dégrémont, L. Keiff, & H. Rückert (Eds.), Dialogues, logics and other strange things: Essays in honour of Shahid Rahman (pp. 53-66). (Tributes; No. 7). College Publications. http://www.illc.uva.nl/Publications/ResearchReports/PP-2007-05.text.pdf [details]
- van Benthem, J. (2008). Merging observation and access in dynamic epistemic logic. Studies in Logic, 1(1), 1-17. http://studiesinlogic.sysu.edu.cn:8080/ljxyj/EN/abstract/abstract1.shtml [details]
- van Benthem, J. (2008). The many faces of interpolation. Synthese, 164(3), 451-460. https://doi.org/10.1007/s11229-008-9351-5 [details]
- van Benthem, J., & Bonnay, D. (2008). Modal logic and invariance. Journal of Applied Non-Classical Logics, 18(2-3), 153-173. https://doi.org/10.3166/jancl.18.153-173 [details]
- van Benthem, J., & Ikegami, D. (2008). Modal fixed-point logic and changing models. In A. Avron, N. Dershowitz, & A. Rabinovich (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; No. 4800). Springer. https://doi.org/10.1007/978-3-540-78127-1_9 [details]
- van Benthem, J., & Martinez, M. (2008). The stories of logic and information. In P. Adriaans, & J. van Benthem (Eds.), Philosophy of information (pp. 217-280). (Handbook of the philosophy of science; No. 8). North Holland. http://www.illc.uva.nl/Publications/ResearchReports/PP-2008-04.text.pdf [details]
2003
- van Benthem, J. F. A. K. (2003). Van grondslagenonderzoek naar informatiewetenschap. In Wegen in de wijsbegeerte : over de toekomst van het filosofisch onderzoek in Nederland: advies van de Raad voor Geesteswetenschappen (pp. 26-36). Koninklijke Nederlandse Akademie van Wetenschappen. https://www.knaw.nl/nl/actueel/publicaties/wegen-in-de-wijsbegeerte [details]
2024
- Baltag, A., & van Benthem, J. (2024). Knowability as continuity: a topological account of informational dependence. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2401.06962 [details]
2023
- Andréka, H., van Benthem, J., & Németi, I. (2023). A note on the submodel preservation property in fragments of first-order logic. (v1 ed.) ArXiv. https://doi.org/10.48550/arXiv.2303.13222 [details]
2016
- Arló-Costa, H., Hendricks, V. F., & van Benthem, J. (Eds.) (2016). Readings in Formal Epistemology: Sourcebook. (Springer Graduate Texts in Philosophy; Vol. 1). Springer. https://doi.org/10.1007/978-3-319-20451-2 [details]
- van Benthem, J., van Ditmarsch, H., van Eijck, J., & Jaspars, J. (2016). Logic in Action. (New ed.) Logic in Action. http://logicinaction.org/ [details]
2015
- van Benthem, J., Ghosh, S., & Verbrugge, R. (Eds.) (2015). Models of Strategic Reasoning: Logics, Games, and Communities. (Lecture Notes in Computer Science; Vol. 8972), (FoLLI Publications on Logic, Language and Information). Springer. https://doi.org/10.1007/978-3-662-48540-8 [details]
2014
- van Benthem, J. (2014). Logic in games. MIT Press. https://mitpress.mit.edu/books/logic-games [details]
- van Benthem, J. (2014). Those Who Must Do It: The Agency of Language. In J. Hoeksema, & D. Gilbers (Eds.), Black book: a festschrift in honor of Frans Zwarts (pp. 7-20). University of Groningen. [details]
- van Benthem, J., & Liu, F. (2014). Where is Logic Going? Studies in Logic, 7(1), 84-99. http://studiesinlogic.sysu.edu.cn:8080/ljxyj/EN/abstract/abstract16.shtml [details]
2013
- van Benthem, J., & Liu, F. (Eds.) (2013). Logic Across the University: Foundations and Applications: proceedings of the Tsinghua Logic Conference, Beijing, 2013. (Studies in logic; Vol. 47). College Publications. [details]
2012
- van Benthem, J. (2012). Dynamic Logic in Natural Language. In T. Graf, D. Paperno, A. Szabolcsi, & J. Tellings (Eds.), Theories of everything: in honor of Ed Keenan (pp. 18-21). (UCLA Working Papers in Linguistics; No. 17). UCLA Linguistics Department. http://www.linguistics.ucla.edu/faciliti/wpl/issues/wpl17/papers/04_benthem.pdf [details]
- van Benthem, J. (2012). Johan Frederik Staal: 3 november 1930-19 februari 2012. Levensberichten en Herdenkingen, 2012, 70-75. http://www.knaw.nl/shared/resources/actueel/publicaties/pdf/20121028_Staal.pdf [details]
- van Benthem, J. (2012). The nets of reason. Argument and Computation, 3(2-3), 83-86. https://doi.org/10.1080/19462166.2012.704400 [details]
2011
- Gupta, A., & van Benthem, J. (2011). Logic and philosophy today. - Vol. 1. (Studies in logic. Mathematical logic and foundations; No. 29). College Publications. http://www.collegepublications.co.uk/logic/mlf/?00017 [details]
- Gupta, A., & van Benthem, J. (2011). Logic and philosophy today. - Vol. 2. (Studies in logic. Mathematical logic and foundations; No. 30). College Publications. http://www.collegepublications.co.uk/logic/mlf/?00018 [details]
- van Benthem, J. (2011). Logical dynamics of information and interaction. Cambridge University Press. https://doi.org/10.1017/CBO9780511974533 [details]
- van Benthem, J., & ter Meulen, A. (Eds.) (2011). Handbook of logic and language. (2nd ed.) Elsevier. https://doi.org/10.1016/C2010-0-65666-5 [details]
- van Benthem, J., Gupta, A., & Pacuit, E. (2011). Games, norms and reasons: logic at the crossroads. (Synthese library; No. 353). Springer. https://doi.org/10.1007/978-94-007-0714-6 [details]
- van Benthem, J., Gupta, A., & Parikh, R. (2011). Proof, computation and agency: logic at the crossroads. (Synthese library; No. 352). Springer. https://doi.org/10.1007/978-94-007-0080-2 [details]
- van Benthem, J., Kuipers, T., & Visser, H. (2011). Introduction to ‘Logic and philosophy of science: in the footsteps of E.W. Beth’. Synthese, 179(2), 203-206. https://doi.org/10.1007/s11229-010-9774-7 [details]
2010
- Gupta, A., & van Benthem, J. (2010). Logic and philosophy today. (Journal of Indian Council of Philosophical Research (JICPR); No. 27). Indian Council of Philosophical Research (ICPR). [details]
- Gupta, A., & van Benthem, J. (2010). Logic and philosophy today: editorial introduction. Journal of Indian Council of Philosophical Research, 27(1), 1-7. http://staff.science.uva.nl/~ssimon/indjournal/contents.html [details]
- van Benthem, J., & Moortgat, M. (2010). Joachim Lambek: The beauty of mathematics in language. Linguistic Analysis, 36(1-4), 5-14. http://www.linguisticanalysis.com/index.php?option=com_content&view=article&id=73&catid=50&Itemid=29 [details]
2009
- Visser, H., & van Benthem, J. F. A. K. (2009). Inleiding. In E. W. Beth (Ed.), Door wetenschap tot wijsheid : verzameling wijsgerige studiën (Amsterdam Academic Archive). Amsterdam University Press. [details]
- van Benthem, J. (2009). Luo ji zhi men-- Yuehan Fanbentemu jing dian zhu zuo. - Juan 2: Luo ji, yu yan he ren zhi . Beijing: Ke xue chu ban she. [details]
- van Benthem, J. (2009). Foreword. In I. Rahwan, & G. R. Simari (Eds.), Argumentation in artificial intelligence (pp. vii-viii). Springer. http://www.springerlink.com/content/tm2761/front-matter.pdf [details]
- van Benthem, J. (2009). Preface. In L. Kurzen, & F. R. Velázquez-Quesada (Eds.), Logics for Dynamics of Information and Preferences: Seminar’s yearbook 2008 (pp. vii-viii). Institute for Logic, Language and Computation (ILLC). http://www.illc.uva.nl/lgc/seminar/docs/DynamicYearbook2008.pdf [details]
- van Benthem, J., Meyer, J-JC., Witteveen, C., & Wooldridge, M. (Eds.) (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. http://cgi.csc.liv.ac.uk/~kjc/wiebe-fest.pdf [details]
- Ågotnes, T. (Guest ed.), van Benthem, J. (Guest ed.), & Pacuit, E. (Guest ed.) (2009). Knowledge, Rationality & Action: Logics of Intelligent Interaction. Synthese, 169(2), 219-423. https://link.springer.com/journal/11229/169/2/page/1 [details]
- Ågotnes, T., van Benthem, J., & Pacuit, E. (2009). Logic and intelligent interaction. Synthese, 169(2), 219-221. https://doi.org/10.1007/s11229-009-9558-0 [details]
2008
- Adriaans, P., & van Benthem, J. (2008). Philosophy of information. (Handbook of the philosophy of science; No. 8). Amsterdam: North Holland. [details]
- van Benthem, J. (2008). Johan van Benthem. In V. F. Hendricks, & H. Leitgeb (Eds.), Philosophy of mathematics: 5 questions (pp. 39-46). (5 questions). Automatic Press. http://staff.science.uva.nl/~johan/5EPIvanbenthem.pdf [details]
- van Benthem, J., & Liu, F. (Ed.) (2008). Luo ji zhi men-- Yuehan Fanbentemu jing dian zhu zuo. - Juan 1: Luo ji, xin xi he hu dong. Beijing: Ke xue chu ban she. [details]
- van Benthem, J., Hendricks, V. F., & Symons, J. (2008). Editorial. Synthese, 160(1), 1-4. https://doi.org/10.1007/s11229-007-9274-6 [details]
- van Benthem, J., van Ulsen, P., & Visser, H. (Eds.) (2008). Logic and Scientific Philosophy: An E.W. Beth Centenary Celebration. Evert Willem Beth Foundation.
2022
- van Benthem, J. (2022). Close encounters with the Van Lambalgen world. In K. Stenning, & M. Stokhof (Eds.), Rules, Regularities, Randomness: Festschrift for Michiel van Lambalgen (pp. 23-34). Institute for Logic, Language and Computation, University of Amsterdam. Advance online publication. https://philarchive.org/rec/STERRR-5 [details]
2016
- van Benthem, J. F. A. K. (2016). Interview. In T. Adajian, & T. Lupher (Eds.), Philosophy of Logic: 5 Questions Automatic Press.
2022
- 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.
2020
- van Benthem, J. (Author), Stuart, H. W. (Author), & Yuelin, J. (Author). (2020). Lof der onmogelijkheid. Web publication or website, Bij Nader Inzien. https://bijnaderinzien.com/2020/05/27/lof-der-onmogelijkheid/
2019
- van Benthem, J. F. A. K., & de Jongh, D. H. J. (2019). In Memoriam Anne Sjerp Troelstra (1939–2019): Creating order in a vast and diverse area. Nieuw Archief voor Wiskunde, (21), 225-227. http://www.nieuwarchief.nl/serie5/pdf/naw5-2019-20-3-225.pdf
2008
- van Benthem, J. (2008). Een postzegel vol logica. De Gids, 171(3), 191-205. [details]
- van Benthem, J., & van den Broek, E. (2008). De keuze van Johan van Benthem. De Academische Boekengids, 67. http://www.academischeboekengids.nl/do.php?a=show_visitor_artikel&id=694
2021
- van Benthem, J., & Icard, T. (2021). Interleaving Logic and Counting: A view from the bottom. 31. Abstract from Logic Colloquium Poznan 2021.
Tijdschriftredactie
- van Benthem, J. F. A. K. (reviewer) (2016-). The Philosopher's Annual (Journal).
- van Benthem, J. F. A. K. (reviewer) (2016-). Stanford Encyclopedia of Philosophy (Journal).
- van Benthem, J. F. A. K. (editor) (2011). Logic, Epistemology, and the Unity of Science (Journal).
- van Benthem, J. F. A. K. (editor) (2011-2013). Logic Journal of the IGPL (Journal).
- van Benthem, J. F. A. K. (editor) (2011). Journal of Logic and Computation (Journal).
This list of publications is extracted from the UvA-Current Research Information System. Questions? Ask the library or the Pure staff of your faculty / institute. Log in to Pure to edit your publications. Log in to Personal Page Publication Selection tool to manage the visibility of your publications on this list. -
Nevenwerkzaamheden
Geen nevenwerkzaamheden
van Benthem, J., & Bezhanishvili, N. (2024). Modal structures in groups and vector spaces. Journal of Logic and Computation, 34(1), 75-124.