Johan van Benthem (vanbenthem)

My contributions to Philosophie.ch

Bibliography

Adriaans, Pieter and van Benthem, Johan, eds. 2008a. Philosophy of Information. Handbook of the Philosophy of Science n. 8. Amsterdam: Elsevier Science Publishers B.V.
Adriaans, Pieter and van Benthem, Johan. 2008b. “Introduction: Information is what Information does.” in Philosophy of Information, edited by Pieter Adriaans and Johan van Benthem, pp. 3–27. Handbook of the Philosophy of Science n. 8. Amsterdam: Elsevier Science Publishers B.V.
Andréka, Hajnal, van Benthem, Johan and Németi, István. 2017. “On a New Semantics for First-Order Predicate Logic.” The Journal of Philosophical Logic 46(3): 259–267.
Andréka, Hajnal, Németi, István and van Benthem, Johan. 1998. “Modal Logic and Bounded Fragments of Predicate Logic.” The Journal of Philosophical Logic 27(3): 217–274.
Bartsch, Renate, van Benthem, Johan and van emde Boas, Peter, eds. 1989. Semantics and Contextual Expression. Groningen-Amsterdam Studies in Semantics n. 11. Berlin: de Gruyter Mouton.
van Benthem, Johan. 1974. “Hintikka on Analyticity.” The Journal of Philosophical Logic 3(4): 419–431.
van Benthem, Johan. 1975. “A Note on Modal Formulae and Relational Properties.” The Journal of Symbolic Logic 40(1): 55–58.
van Benthem, Johan. 1976. “Modal Reduction Principles.” The Journal of Symbolic Logic 41: 301–312.
van Benthem, Johan. 1977. “Tense Logic and Standard Logic.” Logique et Analyse 20(80): 395–437.
van Benthem, Johan. 1978a. “Two Simple Incomplete Modal Logics.” Theoria 44: 25–37.
van Benthem, Johan. 1978b. “Four Paradoxes.” The Journal of Philosophical Logic 7(1): 49–72.
van Benthem, Johan. 1979. “Canonical Modal Logics and Ultrafilter Extensions.” The Journal of Symbolic Logic 44: 1–8.
van Benthem, Johan. 1980. “General Dynamics.” Theoretical Linguistics 7(1-2): 159–201.
van Benthem, Johan. 1981a. “Tense Logic, Second-Order Logic, and Natural Language.” in Aspects of Philosophical Logic. Some Logical Forays into Central Notions of Linguistics and Philosophy, edited by Uwe Mönnich, pp. 1–20. Synthese Library n. 147. Dordrecht: D. Reidel Publishing Co.
van Benthem, Johan. 1981b. “Correspondence Theory: The Connection between Intensional and Classical Logic.” Unpublished manuscript, Rijksuniversiteit Groningen.
van Benthem, Johan. 1982a. “Later Than Late: On the Logical Origin of the Temporal Order.” Pacific Philosophical Quarterly 63: 193–203.
van Benthem, Johan. 1982b. “Behind the Scenes of Conditional Logic.” Unpublished manuscript, Filosophisch Institut, Rijksuniversiteit, Groningen.
van Benthem, Johan. 1983a. The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. Synthese Library n. 156. Dordrecht: D. Reidel Publishing Co. Second edition: van Benthem, Johan (1991b).
van Benthem, Johan. 1983b. Modal Logic and Classical Logic. Napoli: Bibliopolis.
van Benthem, Johan. 1983c. “Determiners and Logic.” Linguistics and Philosophy 6(4): 447–478. Reworked into van Benthem, Johan (1986j).
van Benthem, Johan. 1983d. “Tenses in Real Time.” 83–26. Burnaby, British Columbia: Department of Mathematics, Simon Frazer University.
van Benthem, Johan. 1983e. “Logical Semantics as an Empirical Science.” Studia Logica: An International Journal for Symbolic Logic 42: 299–313. Reworked into van Benthem, Johan (1986r).
van Benthem, Johan. 1984a. “Correspondence Theory.” in Handbook of Philosophical Logic, Volume II: Extensions of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 167–247. Synthese Library n. 165. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as van Benthem, Johan (2001a).
van Benthem, Johan. 1984b. “Analytic / Synthetic: Sharpening a Philosophical Tool.” Theoria 50: 106–137.
van Benthem, Johan. 1984c. “Foundations of Conditional Logic.” The Journal of Philosophical Logic 13(3): 303–349. Reworked into van Benthem, Johan (1986m).
van Benthem, Johan. 1984d. “Questions about Quantifiers.” The Journal of Symbolic Logic 49: 443–466. Reworked into van Benthem, Johan (1986k).
van Benthem, Johan. 1984e. “The Logic of Semantics.” in Varieties of Formal Semantics, edited by Fred Landman and Frank Veltman, pp. 55–80. Dordrecht: Foris Publications. Reworked into van Benthem, Johan (1986s).
van Benthem, Johan. 1984f. “Possible Worlds Semantics: A Research Program That Cannot Fail.” Studia Logica: An International Journal for Symbolic Logic 43: 379–394. Reworked into van Benthem, Johan (1986r).
van Benthem, Johan. 1985a. “The Variety of Consequence, according to Bolzano.” Studia Logica: An International Journal for Symbolic Logic 44(4): 389–403.
van Benthem, Johan. 1985b. “Situations and Inference.” Linguistics and Philosophy 8(1): 3–8.
van Benthem, Johan. 1986a. Essays in Logical Semantics. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-009-4540-1.
van Benthem, Johan. 1986b. “The Relational Theory of Meaning.” Logique et Analyse 29(115): 251–273.
van Benthem, Johan. 1986c. “Partiality and Nonmonotonicity in Classical Logic.” Logique et Analyse 29(114): 225–247.
van Benthem, Johan. 1986d. “Semantic Automata.” in Studies in Discourse Representation Theory and the Theory of Generalized Quantifiers, edited by Jeroen A. G. Groenendijk, Dick H. J. de Jongh, and Martin B. J. Stokhof, pp. 1–25. Dordrecht: Foris Publications. Reworked into van Benthem, Johan (1986r).
van Benthem, Johan. 1986e. “Review of Galton (1984).” The Philosophical Review 95(3): 434–437.
van Benthem, Johan. 1986f. “The Lambek Calculus.” 86–06. Amsterdam: Department of Mathematics, University of Amsterdam.
van Benthem, Johan. 1986g. “Categorial Grammar and Lambda Calculus.” 86–03. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
van Benthem, Johan. 1986h. “Towards a Computational Semantics.” 86–10. Amsterdam: Department of Mathematics, University of Amsterdam.
van Benthem, Johan. 1986i. “A Linguistic Turn: New Directions in Logic.” in Logic, Methodology, and Philosophy of Science VII: Proceedings of the Seventh International Congress of Logic, Methodology, and Philosophy of Science, Salzburg, 1983, edited by Ruth Barcan Marcus, Georg J. W. Dorn, and Paul Weingartner, pp. 205–240. Studies in Logic and the Foundations of Mathematics n. 114. Amsterdam: North-Holland Publishing Co. Reworked into van Benthem, Johan (1986l) and van Benthem, Johan (1986o).
van Benthem, Johan. 1986j. “Determiners.” in Essays in Logical Semantics, pp. 3–24. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1983c), doi:10.1007/978-94-009-4540-1_1.
van Benthem, Johan. 1986k. “Quantifiers.” in Essays in Logical Semantics, pp. 25–54. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-009-4540-1_2.
van Benthem, Johan. 1986l. “All Categories.” in Essays in Logical Semantics, pp. 55–71. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1986a), doi:10.1007/978-94-009-4540-1_3.
van Benthem, Johan. 1986m. “Conditionals.” in Essays in Logical Semantics, pp. 72–100. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1984a), doi:10.1007/978-94-009-4540-1_4.
van Benthem, Johan. 1986n. “Tense and Modality.” in Essays in Logical Semantics, pp. 101–108. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-009-4540-1_5.
van Benthem, Johan. 1986o. “Natural Logic.” in Essays in Logical Semantics, pp. 109–121. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1986i), doi:10.1007/978-94-009-4540-1_6.
van Benthem, Johan. 1986p. “Categorial Grammar.” in Essays in Logical Semantics, pp. 123–150. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co., doi:10.1007/978-94-009-4540-1_7.
van Benthem, Johan. 1986q. “Semantic Automata.” in Essays in Logical Semantics, pp. 151–177. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1986d), doi:10.1007/978-94-009-4540-1_8.
van Benthem, Johan. 1986r. “Logical Semantics as an Empirical Science.” in Essays in Logical Semantics, pp. 179–197. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1983e) and van Benthem, Johan (1984a), doi:10.1007/978-94-009-4540-1_9.
van Benthem, Johan. 1986s. “The Logic of Semantics.” in Essays in Logical Semantics, pp. 198–213. Studies in Linguistics and Philosophy n. 29. Dordrecht: D. Reidel Publishing Co. Revised and expanded version of van Benthem, Johan (1984a), doi:10.1007/978-94-009-4540-1_10.
van Benthem, Johan. 1987a. “Meaning: Interpretation and Inference.” Synthese 73: 451–470.
van Benthem, Johan. 1987b. “Logical Syntax.” Theoretical Linguistics 14(2–3): 119–142.
van Benthem, Johan. 1987c. “Towards a Computational Semantics.” in Generalized Quantifiers: Linguistic and Logical Approaches, edited by Peter Gärdenfors, pp. 31–72. Studies in Linguistics and Philosophy n. 31. Dordrecht: D. Reidel Publishing Co.
van Benthem, Johan. 1987d. “Polyadic Quantifiers.” Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
van Benthem, Johan. 1987e. “Categorial Grammar and Type Theory.” Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
van Benthem, Johan. 1987f. “Categorial Grammar and Lambda Calculus.” in Mathematical Logic and its Applications, edited by Dimiter G. Skordev, pp. 39–60. New York: Plenum Press.
van Benthem, Johan. 1987g. “Verisimilitude and Conditionals.” in What is Closer-to-the-Truth? A Parade of Approaches to Truthlikeness, edited by Theo A. F. Kuipers, pp. 103–128. Poznań Studies in the Philosophy of the Sciences and the Humanities n. 10. Amsterdam: Rodopi.
van Benthem, Johan. 1988a. A Manual of Intensional Logic. 2nd ed. Stanford, California: CSLI Publications. Revised and expanded.
van Benthem, Johan. 1988b. “Games in Logic.” in Representation and Reasoning – Proceedings of the Stuttgart Conference Workshop on Discourse Representation, Dialogue Tableaux and Logic Programming, edited by Jakob Ph. [Jaap] Hoepelman, pp. 3–15. Tübingen: Max Niemeyer Verlag.
van Benthem, Johan. 1988c. “Logical Constants across Varying Types.” LP–88–05. Amsterdam: Institute for Language, Logic; Information, University of Amsterdam.
van Benthem, Johan. 1988d. “The Lambek Calculus.” in Categorial Grammars and Natural Language Structures, edited by Richard T. Oehrle, Emmon W. Bach, and Deirdre W. Wheeler, pp. 35–68. Studies in Linguistics and Philosophy n. 32. Dordrecht: D. Reidel Publishing Co.
van Benthem, Johan. 1988e. “Semantic Type-Change and Syntactic Recognition.” in Properties, Types and Meaning I. Foundational Issues, edited by Gennaro Chierchia, Barbara Hall Partee, and Raymond Turner, pp. 231–250. Studies in Linguistics and Philosophy n. 38. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 1988f. “New Trends in Categorial Grammar.” in Categorial Grammar, edited by Wojciech Buszkowski, Witold Marciszewski, and Johan van Benthem, pp. 23–36. Amsterdam: John Benjamins Publishing Co.
van Benthem, Johan. 1988g. “The Semantics of Variety in Categorial Grammar.” in Categorial Grammar, edited by Wojciech Buszkowski, Witold Marciszewski, and Johan van Benthem, pp. 37–56. Amsterdam: John Benjamins Publishing Co.
van Benthem, Johan. 1989a. “Polyadic Quantifiers.” Linguistics and Philosophy 12(4): 437–464.
van Benthem, Johan. 1989b. “Reasoning and Cognition: Towards a Wider Perspective in Logic.” in Logic and Linguistics, edited by Helmut Schnelle and Niels Ole Bernsen, pp. 185–208. Research Directions in Cognitive Science. European Perspectives n. 2. Mahwah, New Jersey: Lawrence Erlbaum Associates, Inc.
van Benthem, Johan. 1989c. “Notes on Modal Definability.” The Journal of Philosophical Logic 18(1): 20–35.
van Benthem, Johan. 1989d. “Logical Semantics.” in Logic and Linguistics, edited by Helmut Schnelle and Niels Ole Bernsen, pp. 109–126. Research Directions in Cognitive Science. European Perspectives n. 2. Mahwah, New Jersey: Lawrence Erlbaum Associates, Inc.
van Benthem, Johan. 1989e. “Time, Logic and Computation.” in Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, edited by J. W. de Bakker, W. P. de Roever, and Grzegorz Rozenberg, pp. 1–49. Lecture Notes in Computer Science n. 354. Berlin: Springer.
van Benthem, Johan. 1990a. “Categorial Grammar and Type Theory.” The Journal of Philosophical Logic 19(2): 115–168.
van Benthem, Johan. 1990b. “Review of Gärdenfors (1988).” Studia Logica: An International Journal for Symbolic Logic 49: 421–424.
van Benthem, Johan. 1990c. “Computation versus Play as a Paradigm for Cognition.” in Language, Knowledge, and Intentionality – Perspectives on the Philosophy of Jaakko Hintikka, edited by Leila Haaparanta, Martin Kusch, and Ilkka Niiniluoto, pp. 236–251. Acta Philosophica Fennica n. 49. Helsinki: Societas Philosophica Fennica, Akateeminen Kirjakauppa.
van Benthem, Johan. 1991a. Language in Action: Categories, Lambdas, and Dynamic Logic. Studies in Logic and the Foundations of Mathematics n. 130. Amsterdam: North-Holland Publishing Co.
van Benthem, Johan. 1991b. The Logic of Time. A Model-Theoretic Investigation into the Varieties of Temporal Ontology and Temporal Discourse. 2nd ed. Synthese Library n. 156. Dordrecht: D. Reidel Publishing Co. First edition: van Benthem, Johan (1983a).
van Benthem, Johan. 1991c. “Language in Action.” The Journal of Philosophical Logic 20(3): 225–263.
van Benthem, Johan. 1991d. “Reflections on Epistemic Logic.” Logique et Analyse 34(133–134): 5–14.
van Benthem, Johan. 1992. “Epistemic Logic: From Knowledge to Cognition.” in TARK 1992. Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Fourth Conference, edited by Yoram Moses, pp. 167–168. San Francisco, California: Morgan Kaufmann Publishers.
van Benthem, Johan. 1993a. “The Landscape of Deduction.” in Substructural Logics, edited by Peter Schröder-Heister and Kosta Došen, pp. 357–376. Oxford Science Publications. Oxford: Oxford University Press.
van Benthem, Johan. 1993b. “Modelling the Kinematics of Meaning.” Proceedings of the Aristotelian Society 93: 105–122.
van Benthem, Johan. 1993c. “Beyond Accessibility: Functional Models for Modal Logic.” in Diamonds and Defaults, edited by Maarten de Rijke, pp. 1–18. Synthese Library n. 229. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 1993d. “The Logic of Cognitive Action.” in IJCAI-94. Proceedings of the 13th International Joint Conference on Artificial Intelligence, edited by Ruzena Bajcsy, pp. 810. San Francisco, California: Morgan Kaufmann Publishers.
van Benthem, Johan. 1994a. “Logic and the Flow of Information.” in Logic, Methodology and Philosophy of Science IX: Proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Swede, August 7-14, 1991, edited by Dag Prawitz, Brian Skyrms, and Dag Westerståhl, pp. 693–724. Studies in Logic and the Foundations of Mathematics n. 134. Amsterdam: Elsevier Science Publishers B.V.
van Benthem, Johan. 1994b. “General Dynamic Logic.” in What is a Logical System?, edited by Dov M. Gabbay, pp. 107–140. Oxford: Oxford University Press.
van Benthem, Johan. 1994c. “A Note on Dynamic Arrow Logic.” in Logic and Information Flow, edited by Jan van Eijck and Albert Visser, pp. 15–29. Cambridge, Massachusetts: The MIT Press.
van Benthem, Johan. 1995a. “Temporal Logic.” in Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 4: Epistemic and Temporal Logics, edited by Dov M. Gabbay, Christopher J. Hogger, and James A. Robinson, pp. 241–350. Oxford: Oxford University Press.
van Benthem, Johan. 1995b. “Quantifiers and Inference.” in Quantifiers: Logic, Models, and Computation. Volume Two: Contributions, edited by Michał Krynicki, Marcin Mostowski, and Lesław W. Szczerba, pp. 1–20. Synthese Library n. 249. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 1996a. Exploring Logical Dynamics. Stanford, California: CSLI Publications.
van Benthem, Johan. 1996b. “Modal Logic as a Theory of Information.” in Logic and Reality: Essays on the Legacy of Arthur Prior, edited by B. Jack Copeland, pp. 135–168. Oxford: Oxford University Press.
van Benthem, Johan. 1996c. “Content Versus Wrapping: An Essay in Semantic Complexity.” in Arrow Logic and Multimodal Logic, edited by Maarten Marx, László Pólos, and Michael Masuch, pp. 203–219. Stanford, California: CSLI Publications.
van Benthem, Johan. 1996d. “Inference, Methodology and Semantics.” in Philosophical Logic and Logical Philosophy: Essays in Honour of Vladimir A. Smirnov, edited by Peter I. Bystrov and Vadim N. Sadovsky, pp. 63–82. Synthese Library n. 257. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 1997a. “Logic, Language & Information: The Makings of a New Science?” Journal of Logic, Language, and Information 6(1): 1–3.
van Benthem, Johan. 1997b. “Dynamic Bits and Pieces.” Unpublished manuscript.
van Benthem, Johan. 1997c. “Modality, Bisimulation and Interpolation in Infinitary Logic.” Unpublished manuscript.
van Benthem, Johan. 1998a. “Points on Time.” Electronic News Journal on Reasoning About Actions and Change 2: 348–355.
van Benthem, Johan. 1998b. “Changing Contexts and Shifting Assertions.” in Computing Natural Language, edited by Atocha Aliseda, Rob J. van Glabbeek, and Dag Westerståhl, pp. 51–65. Stanford, California: CSLI Publications. Proceedings of the 1995 CSLI-Amsterdam Logic, Language, and Computation Conference.
van Benthem, Johan. 1998c. “Dynamic Odds & Ends.” Unpublished manuscript.
van Benthem, Johan. 1999a. “Temporal Patterns and Modal Structure.” Logic Journal of the Interest Group in Pure and Applied Logics (IGPL) 7(1): 7–26.
van Benthem, Johan. 1999b. “Wider Still and Wider…Resetting the Bounds of Logic.” in The Nature of Logic, edited by Achille C. Varzi. European Review of Philosophy n. 4. Stanford, California: CSLI Publications.
van Benthem, Johan. 1999c. “Logical Constants, Computation & Simulation Invariance.” in The Logica Yearbook 1998, edited by Timothy Childers, pp. 11–19. Praha: Filosofia. Nakladetelstvı́ Filosofického ústavu AV ČR.
van Benthem, Johan. 1999d. “Proofs, Labels and Dynamics in Natural Language.” in Logic, Language and Reasoning: Essays in Honour of Dov Gabbay, edited by Hans Jürgen Ohlbach and Uwe Reyle, pp. 31–42. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 2000a. “ ‘Hintikka Self-Applied’: An Essay on the Epistemic Logic of Imperfect Information Games.” Unpublished manuscript.
van Benthem, Johan. 2000b. “Information Update as Relativisation.” Unpublished manuscript.
van Benthem, Johan. 2000c. “Update Delights – An Essay in Logic and Information Flow.” Unpublished manuscript.
van Benthem, Johan. 2000d. “Modal Logic in Two Gestalts.” in Advances in Modal Logic, volume II, edited by Michael Zakharyaschev, Krister Segerberg, Maarten de Rijke, and Heinrich Theodor Wansing, pp. 91–118. Stanford, California: CSLI Publications.
van Benthem, Johan. 2001a. “Correspondence Theory.” in Handbook of Philosophical Logic, Volume III, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 325–408. Dordrecht: Springer. First publication as van Benthem, Johan (1984a).
van Benthem, Johan. 2001b. “Language, Logic, and Computation.” in Logic in Action, pp. 7–25. Faculty of Mathematics; Computer Science, Roeterssraat 15, 1018TV Amsterdam, Holland: Institute for Logic, Language,; Computation, University of Amsterdam.
van Benthem, Johan. 2002a. “Extensive Games as Process Models.” Journal of Logic, Language, and Information 11(3): 289–313.
van Benthem, Johan. 2002b. “Modal Logic.” in A Companion to Philosophical Logic, edited by Dale Jacquette, pp. 391–409. Blackwell Companions to Philosophy. Oxford: Blackwell Publishers, doi:10.1002/9780470996751.
van Benthem, Johan. 2002c. “Logical Constants: the Variable Fortunes of an Elusive Notion.” in Reflections on the Foundations of Mathematics. Essays in honor of Solomon Feferman, edited by Wilfried Sieg, Richard Sommer, and Carolyn L. Talcott, pp. 420–441. Lecture Notes in Logic n. 15. Urbana, Illinois: Association for Symbolic Logic.
van Benthem, Johan. 2003a. “Conditional Probability Meets Update Logic.” Journal of Logic, Language, and Information 12(4): 409–421.
van Benthem, Johan. 2003b. “Fifty Years: Changes and Constants in Logic.” in Trends in Logic: 50 Years of Studia Logica, edited by Vincent F. Hendricks and Jacek Malinowski, pp. 35–56. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 2003c. “Categorial Grammar at a Cross-Roads.” in Resource Sensitivity in Binding and Anaphora, edited by Geert-Jan M. Kruijff and Richard T. Oehrle, pp. 3–22. Studies in Linguistics and Philosophy n. 80. Dordrecht: Kluwer Academic Publishers.
van Benthem, Johan. 2004. “Probabilistic Features in Logic Games.” in Quantifiers, Quesitons and Quantum Physics. Essays on the Philosophy of Jaakko Hintikka, edited by Daniel Kolak and John Symons, pp. 189–194. Berlin: Springer.
van Benthem, Johan. 2005a. “Minimal Predicates, Fixed-Points, and Definability.” The Journal of Symbolic Logic 70(3): 696–712.
van Benthem, Johan. 2005b. “A Note on Modeling Theories.” in Confirmation, Empirical Progress, and Truth Approximation, edited by Roberto Festa, Atocha Aliseda, and Jeanne Peijnenburg, pp. 403–419. Poznań Studies in the Philosophy of the Sciences and the Humanities n. 83. Amsterdam: Rodopi.
van Benthem, Johan. 2006a. “Logical Construction Games.” in Truth and Games: Essays in Honour of Gabriel Sandu, edited by Tuomo Aho and Ahti-Veikko J. Pietarinen, pp. 139–158. Acta Philosophica Fennica n. 78. Helsinki: Societas Philosophica Fennica, Akateeminen Kirjakauppa.
van Benthem, Johan. 2006b. “A Mini-Guide to Logic in Action.” in Proceedings of the 28th International Wittgenstein Symposium: Time and History, edited by Friedrich Stadler and Michael Stöltzner, pp. 419–440. Publications of the Austrian Ludwig Wittgenstein Society (new series) n. 1. Heusenstamm b. Frankfurt: Ontos Verlag.
van Benthem, Johan. 2006c. “The Epistemic Logic of IF Games.” in The Philosophy of Jaakko Hintikka, edited by Lewis Edwin Hahn and Randall E. Auxier, pp. 481–513. The Library of Living Philosophers n. 30. LaSalle, Illinois: Open Court Publishing Co.
van Benthem, Johan. 2006d. “Epistemic Logic and Epistemology: The State of Their Affairs.” Philosophical Studies 128(1): 49–76.
van Benthem, Johan. 2006e. “Introduction: Alternative Logics and Classical Concerns.” in The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today, edited by Johan van Benthem, Gerhard Heinzmann, Manuel Rebuschi, and Henk Visser, pp. 1–10. Logic, Epistemology, and the Unity of Science n. 3. Dordrecht: Springer.
van Benthem, Johan. 2007. “Logic in Philosophy.” in Philosophy of Logic, edited by Dale Jacquette, 1st ed., pp. 65–100. Handbook of the Philosophy of Science n. 5. Amsterdam: Elsevier Science Publishers B.V.
van Benthem, Johan. 2008. “Natural Logic: A View from the 1980s.” in Logic, Navya-Nyāya & Applications. Hommage to Bimal Krishna Matilal, edited by Mihir Kumar Chakraborty, Benedikt Löwe, Madhabendra Nath Mitra, and Sundar Surakkai, pp. 21–42. Studies in Logic n. 15. London: College Publications.
van Benthem, Johan. 2009a. “Actions That Make Us Know.” in, pp. 129–146.
van Benthem, Johan. 2009b. “For Better or for Worse: Dynamic Logics of Preference.” in Preference Change. Approaches from Philosophy, Economics and Psychology, edited by Till Grüne-Yanoff and Sven Ove Hansson, pp. 57–84. Dordrecht: Springer.
van Benthem, Johan. 2010. “The Art of Modeling.” in Possible Worlds. Logic, Semantics and Ontology, edited by Guido Imaguire and Dale Jacquette. Basic Philosophical Concepts. München: Philosophia Verlag, doi:10.2307/j.ctv2nrzj11.
van Benthem, Johan. 2011a. Logical Dynamics of Information and Interaction. Cambridge: Cambridge University Press.
van Benthem, Johan. 2011b. “Horror Contradictionis.” in A Companion to Relativism, edited by Steven D. Hales, pp. 511–525. Blackwell Companions to Philosophy. Chichester: Wiley-Blackwell, doi:10.1002/9781444392494.
van Benthem, Johan. 2011c. “Logic Games: From Tools to Models of Interaction.” in Proof, Computation and Agency. Logic at the Crossroads, edited by Johan van Benthem, Amitabha Gupta, and Rohit Parikh, pp. 183–216. Synthese Library n. 352. Dordrecht: Springer.
van Benthem, Johan. 2011d. “Logic in a Social Setting.” Episteme 8(3): 227–247.
van Benthem, Johan. 2012a. “The Logic of Empirical Theories Revisited.” Synthese 186(3): 775–792.
van Benthem, Johan. 2012b. “Dynamic Logic in Natural Language.” in The Routledge Companion to Philosophy of Language, edited by Gillian K. Russell and Delia Graff Fara, pp. 652–666. Routledge Philosophy Companions. London: Routledge.
van Benthem, Johan. 2012c. “Foundational Issues in Logical Dynamics.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 95–96. London: King’s College Publications.
van Benthem, Johan. 2014. Logic in Games. Cambridge, Massachusetts: The MIT Press.
van Benthem, Johan. 2016. “Tracking Information.” in J. Michael Dunn on Information Based Logics, edited by Katalin Bimbó, pp. 363–390. Outstanding Contributions to Logic n. 8. Cham: Springer, doi:10.1007/978-3-319-29300-4.
van Benthem, Johan. n.d.a. “Action and Procedure in Reasoning.” Unpublished manuscript.
van Benthem, Johan. n.d.b. “Information Transfer across Chu Spaces.” Unpublished manuscript.
van Benthem, Johan and Bergstra, Jan A. 1995. “Logic of Transition Systems.” Journal of Logic, Language, and Information 4(4): 247–283.
van Benthem, Johan, D’Agostino, Giovanna, Montanari, Angelo and Policriti, Alberto. 1998. “Modal Deduction in Second-Order Logic and Set-Theory – II.” Studia Logica: An International Journal for Symbolic Logic 60: 387–420.
van Benthem, Johan, Dekker, Paul J. E., van Eijck, Jan, de Rijke, Maarten and Venema, Yde. 2001. Logic in Action. Faculty of Mathematics; Computer Science, Roeterssraat 15, 1018TV Amsterdam, Holland: Institute for Logic, Language,; Computation, University of Amsterdam.
van Benthem, Johan and Doets, Kees. 1983. “Higher-Order Logic.” in Handbook of Philosophical Logic, Volume I: Elements of Classical Logic, edited by Dov M. Gabbay and Franz Guenthner, pp. 275–329. Synthese Library n. 164. Dordrecht: D. Reidel Publishing Co. Reprinted in revised form as van Benthem, Johan and Doets (2001).
van Benthem, Johan and Doets, Kees. 2001. “Higher-Order Logic.” in Handbook of Philosophical Logic, Volume I, edited by Dov M. Gabbay and Franz Guenthner, 2nd ed., pp. 189–244. Dordrecht: Springer. First publication as van Benthem, Johan and Doets (1983).
van Benthem, Johan, van Eijck, Jan and Stebletsova, Vera. 1994. “Modal Logic, Transition Systems and Processes.” Journal of Logic and Computation 4(5): 811–855.
van Benthem, Johan, Fernández-Duque, David and Pacuit, Eric. 2012. “Evidence Logic: A New Look at Neighborhood Structures.” in Advances in Modal Logic, volume IX, edited by Thomas Bolander, Torben Braüner, Silvio Ghilardi, and Lawrence S. Moss, pp. 97–118. London: King’s College Publications.
van Benthem, Johan, Girard, Patrick and Roy, Olivier. 2009. “Everything Else Being Equal: A Modal Logic for Ceteris Paribus Preferences.” The Journal of Philosophical Logic 38(1): 83–125.
van Benthem, Johan, Grossi, Davide and Liu, Fenrong. 2014. “Priority Structures in Deontic Logic.” Theoria 80(2): 116–152.
van Benthem, Johan, Gupta, Amitabha and Pacuit, Eric, eds. 2011. Games, Norms and Reasons. Logic at the Crossroads. Synthese Library n. 353. Dordrecht: Springer.
van Benthem, Johan, Gupta, Amitabha and Parikh, Rohit, eds. 2011. Proof, Computation and Agency. Logic at the Crossroads. Synthese Library n. 352. Dordrecht: Springer.
van Benthem, Johan, Heinzmann, Gerhard, Rebuschi, Manuel and Visser, Henk, eds. 2006. The Age of Alternative Logics. Assessing Philosophy of Logic and Mathematics Today. Logic, Epistemology, and the Unity of Science n. 3. Dordrecht: Springer.
van Benthem, Johan and Humberstone, I. Lloyd. 1983. “Halldén Completeness by Gluing of Kripke Frames.” Notre Dame Journal of Formal Logic 24: 426–430.
van Benthem, Johan and Israel, David J. 1999. “Review of Barwise and Seligman (1997).” Journal of Logic, Language, and Information 8(3): 390–397.
van Benthem, Johan and Israel, David J. 2008. “The Stories of Logic and Information.” in Philosophy of Information, edited by Pieter Adriaans and Johan van Benthem, pp. 217–280. Handbook of the Philosophy of Science n. 8. Amsterdam: Elsevier Science Publishers B.V.
Benthem, Johan van and Klein, Dominik. 2019. “Logics for Analyzing Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/spr2019/entries/logics-for-games/.
Benthem, Johan van and Klein, Dominik. 2022. “Logics for Analyzing Games.” in The Stanford Encyclopedia of Philosophy. Stanford, California: The Metaphysics Research Lab, Center for the Study of Language; Information, https://plato.stanford.edu/archives/win2022/entries/logics-for-games/.
van Benthem, Johan and ter Meulen, Alice G. B. 1985. Generalized Quantifiers in Natural Language. Dordrecht: Foris Publications.
van Benthem, Johan and ter Meulen, Alice G. B., eds. 1997. Handbook of Logic and Language. Amsterdam: Elsevier Science Publishers B.V. Second edition: van Benthem, Johan and ter Meulen (2011).
van Benthem, Johan and ter Meulen, Alice G. B., eds. 2011. Handbook of Logic and Language. 2nd ed. Amsterdam: Elsevier Science Publishers B.V. First edition: van Benthem, Johan and ter Meulen (1997).
van Benthem, Johan and Pacuit, Eric. 2006. “The Tree of Knowledge in Action: Towards a Common Perspective.” in Advances in Modal Logic, volume VI, edited by Guido Governatori, Ian Hodkinson, and Yde Venema, pp. 87–106. London: King’s College Publications.
van Benthem, Johan and van Rooy, Robert. 2003. “Connecting the Different Faces of Information.” Journal of Logic, Language, and Information 12(4): 375–379.
van Benthem, Johan and Shoham, Yoav. 1997. “Editorial: Cognitive Actions in Focus.” Journal of Logic, Language, and Information 6(2): 119–121.
van Benthem, Johan and Smets, Sonja. 2012. “New Logical Perspectives on Physics.” Synthese 186(3): 615–617.
Blackburn, Patrick, van Benthem, Johan and Wolter, Frank. 2007. Handbook of Modal Logic. Studies in Logic and Practical Reasoning n. 3. Amsterdam: Elsevier Science Publishers B.V.
Buszkowski, Wojciech, Marciszewski, Witold and van Benthem, Johan, eds. 1988. Categorial Grammar. Amsterdam: John Benjamins Publishing Co.
Dalla Chiara, Maria Luisa, Doets, Kees, Mundici, Daniele and Benthem, Johan van, eds. 1997a. Logic, Methodology and Philosophy of Science X: Logic and Scientific Methods – Volume One of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, 1995. Synthese Library n. 259. Dordrecht: Kluwer Academic Publishers.
Dalla Chiara, Maria Luisa, Doets, Kees, Mundici, Daniele and Benthem, Johan van, eds. 1997b. Logic, Methodology and Philosophy of Science X: Logic and Scientific Methods – Volume Two of the Tenth International Congress of Logic, Methodology, and Philosophy of Science, Florence, 1995. Synthese Library n. 260. Dordrecht: Kluwer Academic Publishers.
Fenstad, Jens Erik, Halvorsen, Per-Kristian, Langholm, Jan Tore and van Benthem, Johan. 1986. “Equations, Schemata and Situations: A Framework for Linguistic Semantics.” Unpublished manuscript, Stanford University.
Fenstad, Jens Erik, Halvorsen, Per-Kristian, Langholm, T. and van Benthem, Johan. 1987. Situations, Language and Logic. Studies in Linguistics and Philosophy n. 34. Dordrecht: D. Reidel Publishing Co.
Klein, Ewan and van Benthem, Johan, eds. 1987. Categories, Polymorphism and Unification. Edinburgh: Centre for Cognitive Science, University of Edinburgh.
Muskens, Reinhard, van Benthem, Johan and Visser, Albert. 1997. “Dynamics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, pp. 587–647. Amsterdam: Elsevier Science Publishers B.V. Second edition: van Benthem, Johan and ter Meulen (2011).
Muskens, Reinhard, van Benthem, Johan and Visser, Albert. 2011. “Dynamics.” in Handbook of Logic and Language, edited by Johan van Benthem and Alice G. B. ter Meulen, 2nd ed., pp. 607–670. Amsterdam: Elsevier Science Publishers B.V. First edition: Muskens, van Benthem and Visser (1997).

Further References

Barwise, Jon K. and Seligman, Jerry. 1997. Information Flow: The Logic of Distributed Systems. Cambridge Tracts in Theoretical Computer Science n. 44. Cambridge: Cambridge University Press.
Galton, Antony. 1984. The Logic of Aspect: An Axiomatic Approach. Oxford: Oxford University Press.
Gärdenfors, Peter. 1988. Knowledge in Flux: Modeling the Dynamics of Epistemic States. Cambridge, Massachusetts: The MIT Press.