dhr. prof. dr. J.F.A.K. (Johan) van Benthem


  • Faculteit der Natuurwetenschappen, Wiskunde en Informatica
    ILLC
  • POSTBUS  94242
    1090 GE  Amsterdam
  • J.vanBenthem@uva.nl

2015

  • S.J.L. Smets & J.F.A.K. van Benthem (2015). Dynamic Logics of Belief Change. In H. van Ditmarsch, J. Halpern, W. van der Hoek & B. Kooi (Eds.), Handbook of epistemic logic. London: College Publications.

2014

2013

  • J. van Benthem (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 (Lecture Notes in Computer Science, 7860) (pp. 336-347). Heidelberg: Springer.
  • J.F.A.K. van Benthem (2013). Bernard Bolzano’s "Wissenschaftslehre". Topoi, 3 (2), 301-303.
  • J. van Benthem (2013). CRS and Guarded Logics: a fruitful contact. In H. Andréka, M. Ferenczi & I. Németi (Eds.), Cylindric-like algebras and algebraic logic (Bolyai Society Mathematical Studies, 22) (pp. 273-301). Budapest: Springer.
  • J.F.A.K. van Benthem (2013). Reasoning about Strategies. In P. Panangaden, L. Ong & B. Coecke (Eds.), Computation, Logic, Games, and Quantum Foundations. The Many Facets of Samson Abramsky (Springer Lecture Notes in Computer Science, 7860) (pp. 333-347). Springer.

2012

2011

  • J.F.A.K. van Benthem (Ed.). (2011) Logic, Epistemology, and the Unity of Science.
  • J.F.A.K. van Benthem (Ed.). (2011) Journal of Logic and Computation.
  • J.F.A.K. van Benthem (Ed.). (2011) Logic Journal of the IGPL.
  • J. van Benthem (2011). Exploring a theory of play. In K. Apt (Ed.), Proceedings TARK XIII (pp. 12-16). Groningen: ACM Digital Library.
  • J. van Benthem (2011). Belief update as social choice. In P. Girard, O. Roy & M. Marion (Eds.), Dynamic Formal Epistemology (pp. 151-160). Dordrecht: Springer.
  • J. van Benthem (2011). Logic in a social setting. Episteme, 8 (3), 227-247. doi: 10.3366/epi.2011.0019
  • J. van Benthem & E. Pacuit (2011). Dynamic logic of evidence-based beliefs. Studia Logica, 99 (1), 61-92. doi: 10.1007/s11225-011-9347-x[go to publisher's site]
  • J. van Benthem, E. Pacuit & O. Roy (2011). Toward a theory of play: a logical perspective on games and interaction. Games, 2 (1), 52-86. doi: 10.3390/g2010052
  • J. van Benthem (2011). One logician’s perspective on argumentation [in Chinese]. In Yearbook. Beijing: Philosophy Department, Tsinghua University.
  • J. van Benthem (2011). McCarthy variations in a modal key. Artificial Intelligence, 175 (1), 428-439. doi: 10.1016/j.artint.2010.04.014
  • J. van Benthem, D. Grossi & F. Liu (2011). 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 Vol. 6181. Lecture Notes in Computer Science (pp. 50-65). Berlin: Springer.

2010

  • J. van Benthem (2010). Frame correspondences in modal predicate logic. In S. Feferman & W. Sieg (Eds.), Proofs, categories and computations: essays in honor of Grigori Mints (Tributes, 13). London: College Publications.
  • J. van Benthem (2010). Categorial versus modal information theory. Linguistic Analysis, 36 (1-4), 533-544.
  • Й. ван Бентем (2010). Куда должна, и должна ли, двигаться логика? [Where is logic going, and should it?]. Vox.
  • J. van Benthem (2010). Logic between expressivity and complexity. In J. Giesl & R. Hähnle (Eds.), Proceedings of the 5th International Joint Conference on Automated Reasoning (IJCAR 2010) Vol. 6173. Lecture Notes in Computer Science (pp. 122-126). Berlin: Springer.
  • J.F.A.K. van Benthem (2010). A Door to Logic, Chinese translation of selected papers, 4 volumes. Beijing: Science Press.
  • J. van Benthem (2010). Logic, mathematics, and general agency. In P.E. Bour, M. Rebuschi & L. Rollet (Eds.), Construction: festschrift for Gerhard Heinzmann (Tributes, 14) (pp. 277-296). London: College Publications.
  • J. van Benthem & A. Gheerbrant (2010). Game solution, epistemic dynamics and fixed-point logics. Fundamenta Informaticae, 100 (1-4), 19-41. doi: 10.3233/FI-2010-261
  • J. van Benthem & F.R. Velázquez-Quesada (2010). The dynamics of awareness. Synthese, 177 (S1), 5-27. doi: 10.1007/s11229-010-9764-9[go to publisher's site]
  • J. van Benthem (2010). Modal logic for open minds (CSLI lecture notes, 199). Stanford, CA: CSLI Publications.
  • T. Ǻgotnes, J. van Benthem, H. van Ditmarsch & Ş. 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.

2009

2008

2014

  • J. van Benthem (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). Groningen: University of Groningen.
  • J. van Benthem (2014). Logic in games. Cambridge, MA: MIT Press.
  • J.F.A.K. van Benthem, H.P. van Ditmarsch, D.J.N. van Eijck & J.O.M. Jaspars (2014). Logic in Action. internet: www.logicinaction.org.

2012

2011

2010

2009

  • J. van Benthem (2009). Foreword. In I. Rahwan & G.R. Simari (Eds.), Argumentation in artificial intelligence (pp. vii-viii). Dordrecht: Springer.
  • J. van Benthem (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). Amsterdam: Institute for Logic, Language and Computation (ILLC).
  • H. Visser & J.F.A.K. van Benthem (2009). Inleiding. In E.W. Beth (Ed.), Door wetenschap tot wijsheid : verzameling wijsgerige studiën (Amsterdam Academic Archive). Amsterdam: Amsterdam University Press.
  • T. Ågotnes, J. van Benthem & E. Pacuit (2009). Logic and intelligent interaction. Synthese, 169 (2), 219-221.[go to publisher's site]
  • J. van Benthem (2009). Logic, language and cognition [Chinese translations of selected essays] (A door to logic, II). Beijing: Science Press.

2008

  • J. van Benthem (2008). Johan van Benthem. In V.F. Hendricks & H. Leitgeb (Eds.), Philosophy of mathematics: 5 questions (5 questions) (pp. 39-46). Copenhagen: Automatic Press.
  • J. van Benthem, V.F. Hendricks & J. Symons (2008). Editorial. Synthese, 160 (1), 1-4.[go to publisher's site]

2008

  • J.F.A.K. van Benthem (2008). Review of "Quantifiers in Language and Logic" by S. Peters & D. Westerståhl [Review of the book Quantifiers in Language and Logic]. .
This page has been automatically generated by the UvA-Current Research Information System. If you have any questions about the content of this page, please contact the UBAcoach or the Metis staff of your faculty / institute. To edit your publications login to Personal Metis.

Geen nevenwerkzaamheden bekend

bewerk