WorldCat Identities

Benthem, Johan van 1949-

Overview
Works: 262 works in 881 publications in 5 languages and 12,557 library holdings
Genres: Conference papers and proceedings  Handbooks and manuals 
Roles: Author, Editor, Thesis advisor, Other, Correspondent, Author of introduction, Honoree, Recipient, 958
Publication Timeline
.
Most widely held works by Johan van Benthem
Interactive logic : selected papers from the 7th Augustus de Morgan workshop, London by Johan van Benthem( )

18 editions published between 2007 and 2008 in 3 languages and held by 1,859 WorldCat member libraries worldwide

Traditionally, logic has dealt with notions of truth and reasoning. In the past several decades, however, research focus in logic has shifted to the vast field of interactive logic - the domain of logic for both communication and interaction. The main applications of this move are logical approaches to games and social software. This collection of papers from the workshop serves as the initial volume in the new series Texts in Logics and Games
Categorial grammar by Wojciech Buszkowski( )

10 editions published in 1988 in English and held by 1,207 WorldCat member libraries worldwide

This book is devoted to the mathematical foundations of categorial grammar including type-theoretic foundations of mathematics, grammatical categories and other topics related to categorial grammar and to philosophical and linguistic applications of this framework. The volume consists of three parts. The first, introductory part, contains the editor's addresses and two survey chapters concerning the history (W. Marciszewski) and current trends of the discipline (J.van Benthem). The second part consists of 10 chapters devoted to categorial grammar proper, and the third part 7 chapters devoted to areas close to categorial grammar. Most of the contributions are original papers, but five of them are reprints of classics (M.J. Cresswell, P.T. Geach, H. Hiz, J. Lambek, T. Potts)
Handbook of logic and language by Johan van Benthem( Book )

38 editions published between 1996 and 2011 in English and held by 1,087 WorldCat member libraries worldwide

This is an expanding field and the logical study of language is becoming more interdisciplinary playing a role in disciplines such as computer science, artificial intelligence, cognitive science and game theory. Completely revised and updated, this new edition, written by the leading experts in the field, presents an overview of the latest developments at the interface of logic and linguistics as well as providing a historical perspective. It is divided into three parts covering Frameworks, General Topics and Descriptive Themes
Generalized quantifiers in natural language by Alice G. B. ter Meulen( )

20 editions published between 1984 and 2013 in English and held by 921 WorldCat member libraries worldwide

Logical dynamics of information and interaction by Johan van Benthem( )

19 editions published between 2011 and 2014 in English and held by 588 WorldCat member libraries worldwide

"This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents - with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all these systems, and positioning them at the interface of logic, philosophy, computer science and game theory. A series of further chapters explores repercussions of the 'dynamic stance' for these areas, as well as cognitive science"--
Language in action : categories, lambdas, and dynamic logic by Johan van Benthem( Book )

41 editions published between 1991 and 2001 in English and held by 541 WorldCat member libraries worldwide

This monograph began life as a series of papers documenting five years of research into the logical foundations of Categorial Grammar, a grammatical paradigm which has close analogies with Lambda Calculus and Type Theory. The technical theory presented here stems from the interface between Logic and Linguistics and, in particular, the theory of generalized quantification. A categorical framework with lambda calculus-oriented semantics is a convenient vehicle for generalizing semantic insights (obtained in various corners of natural language) into one coherent theory. The book aims to demonstra
The logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourse by Johan van Benthem( Book )

28 editions published between 1982 and 1991 in English and held by 502 WorldCat member libraries worldwide

Handbook of spatial logics by Marco Aiello( )

16 editions published in 2007 in English and held by 425 WorldCat member libraries worldwide

The aim of this handbook is to create, for the first time, a systematic account of the field of spatial logic
A manual of intensional logic by Johan van Benthem( Book )

26 editions published between 1984 and 2000 in English and held by 418 WorldCat member libraries worldwide

Games, norms and reasons : logic at the crossroads by Johan van Benthem( )

14 editions published in 2011 in English and Undetermined and held by 411 WorldCat member libraries worldwide

" ... Provides an overview of modern logic focusing on its relationships with other disciplines, including new interfaces with rational choice theory, epistemology, game theory and informatics. This book continues a series called 'Logic at the Crossroads' whose title reflects a view that the deep insights from the classical phase of mathematical logic can form a harmonious mixture with a new, more ambitious research agenda of understanding and enhancing human reasoning and intelligent interaction. The editors have gathered together articles from active authors in this new area that explore dynamic logical aspects of norms, reasons, preferences and beliefs in human agency, human interaction and groups. The book pays a special tribute to Professor Rohit Parikh, a pioneer in this movement"--Publisher's description, p. [4] of cover
Logic in games by Johan van Benthem( Book )

17 editions published between 2013 and 2016 in English and Undetermined and held by 407 WorldCat member libraries worldwide

This book draws on ideas from philosophical logic, computational logic, multi-agent systems, and game theory to offer a comprehensive account of logic and games viewed in two complementary ways. It examines the logic of games: the development of sophisticated modern dynamic logics that model information flow, communication, and interactive structures in games. It also examines logic as games: the idea that logical activities of reasoning and many related tasks can be viewed in the form of games. In doing so, the book takes up the ""intelligent interaction"" of agents engaging in competitive
Proof, computation and agency : logic at the crossroads by Johan van Benthem( )

13 editions published in 2011 in English and Undetermined and held by 407 WorldCat member libraries worldwide

Provides an overview of modern logic and its relationship with other disciplines. As a highlight, several articles pursue an inspiring paradigm called 'social software', which studies patterns of social interaction using techniques from logic and computer science. The book also demonstrates how logic can join forces with game theory and social choice theory. A second main line is the logic-language-cognition connection, where the articles collected here bring several fresh perspectives. Finally, the book takes up Indian logic and its connections with epistemology and the philosophy of science, showing how these topics run naturally into each other
Essays in logical semantics by Johan van Benthem( Book )

18 editions published in 1986 in 3 languages and held by 396 WorldCat member libraries worldwide

Philosophy of information by Pieter Adriaans( )

19 editions published between 2008 and 2011 in English and Spanish and held by 390 WorldCat member libraries worldwide

Information is a recognized fundamental notion across the sciences and humanities, which is crucial to understanding physical computation, communication, and human cognition. The Philosophy of Information brings together the most important perspectives on information. It includes major technical approaches, while also setting out the historical backgrounds of information as well as its contemporary role in many academic fields. Also, special unifying topics are high-lighted that play across many fields, while we also aim at identifying relevant themes for philosophical reflection. There is no established area yet of Philosophy of Information, and this Handbook can help shape one, making sure it is well grounded in scientific expertise. As a side benefit, a book like this can facilitate contacts and collaboration among diverse academic milieus sharing a common interest in information. . First overview of the formal and technical issues involved in the philosophy of information . Integrated presentation of major mathematical approaches to information, form computer science, information theory, and logic . Interdisciplinary themes across the traditional boundaries of natural sciences, social sciences, and humanities
Handbook of modal logic by Patrick Blackburn( )

18 editions published between 2006 and 2007 in English and held by 381 WorldCat member libraries worldwide

The Handbook of Modal Logic contains 20 articles, which collectively introduce contemporary modal logic, survey current research, and indicate the way in which the field is developing. The articles survey the field from a wide variety of perspectives: the underling theory is explored in depth, modern computational approaches are treated, and six major applications areas of modal logic (in Mathematics, Computer Science, Artificial Intelligence, Linguistics, Game Theory, and Philosophy) are surveyed. The book contains both well-written expository articles, suitable for beginners approaching the subject for the first time, and advanced articles, which will help those already familiar with the field to deepen their expertise. Please visit: http://people.uleth.ca/~woods/RedSeriesPromo_WP/PubSLPR.html - Compact modal logic reference - Computational approaches fully discussed - Contemporary applications of modal logic covered in depth
Models of strategic reasoning : logics, games, and communities( )

9 editions published in 2015 in English and German and held by 297 WorldCat member libraries worldwide

"Strategic behavior is the key to social interaction, from the ever-evolving world of living beings to the modern theatre of designed computational agents. Strategies can make or break participants' aspirations, whether they are selling a house, playing the stock market, or working toward a treaty that limits global warming. This book aims at understanding the phenomenon of strategic behavior in its proper width and depth. A number of experts have combined forces in order to create a comparative view of the different frameworks for strategic reasoning in social interactions that have been developed in game theory, computer science, logic, linguistics, philosophy, and cognitive and social sciences. The chapters are organized in three topic-based sections, namely reasoning about games; formal frameworks for strategies; and strategies in social situations. The book concludes with a discussion on the future of logical studies of strategies"--Page 4 of cover
Exploring logical dynamics by Johan van Benthem( Book )

15 editions published between 1996 and 2002 in English and Italian and held by 225 WorldCat member libraries worldwide

This book is an exploration of current trends in logical theories of information flow across various fields, such as belief revision in computer science or dynamic semantics in linguistics. It provides one mathematical perspective encompassing all of these. This framework generates a new agenda of questions concerning dynamic inference and dynamic operators. The result is a mathematical theory of process models, simulations between these, and modal languages over them, which is developed in quite some detail. New results include theorems on expressive completeness, representation of styles of inference, and new kinds of decidable remodeling for standard logic. This theory is also confronted with practice in computer science, linguistics and philosophy
Modal logic and classical logic by Johan van Benthem( Book )

17 editions published between 1983 and 1985 in English and Italian and held by 213 WorldCat member libraries worldwide

Semantics and contextual expression( Book )

8 editions published in 1989 in English and held by 148 WorldCat member libraries worldwide

Modal logic for open minds by Johan van Benthem( Book )

10 editions published in 2010 in English and held by 122 WorldCat member libraries worldwide

In "Modal Logic for Open Minds", Johan van Benthem provides an introduction to the field of modal logic, outlining its major ideas and exploring the numerous ways in which various academic fields have adopted it. Van Benthem begins with the basic theories of modal logic, examining its relationship to language, semantics, bisimulation, and axiomatics, and then covers more advanced topics, such as expressive power, computational complexity, and intelligent agency. Many of the chapters are followed by exercises, making this volume ideal for undergraduate and graduate students in philosophy, computer science, symbolic systems, cognitive science, and linguistics
 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.40 (from 0.02 for Categorial ... to 0.76 for Semantics ...)

Handbook of logic and language
Covers
Handbook of logic and languageLogical dynamics of information and interactionLanguage in action : categories, lambdas, and dynamic logicThe logic of time : a model-theoretic investigation into the varieties of temporal ontology and temporal discourseHandbook of spatial logicsGames, norms and reasons : logic at the crossroadsProof, computation and agency : logic at the crossroadsEssays in logical semantics
Alternative Names

controlled identityGamut, L. T. F.

Benthem, J.F.A.K. van

Benthem, J.F.A.K. van 1949-

Benthem, J. V.

Benthem, J. van.

Benthem, J. van 1949-

Benthem, Johan F. A. K. van

Benthem Johan F. A. K. van 1949-....

Benthem, Johan F. van 1949-

Benthem, Johan Franciscus Abraham Karel van 1949-

Benthem, Johan van.

Benthem, Johan van 1949-

Benthem, Johann F. A. K. van 1949-

Benthem, Johannes F. van 1949-

Benthem, Johannes Franciscus Abraham Karel van

Benthem Johannes Franciscus Abraham Karel van 1949-....

Gamut, L. T. F.

Gamut, L. T. F. 1949-

Johan van Benthem filósofo neerlandés

Johan van Benthem Nederlands filosoof

Johan van Benthem niederländischer Logiker

Johan van Benthem philosophe néerlandais

Van Benthem, J. 1949-

Van Benthem, J. F. A. K.

Van Benthem, J. F. A. K. 1949-

Van Benthem, Johan

Van Benthem Johan 1949-....

Van Benthem, Johan F. A. K.

Van Benthem Johan F. A. K. 1949-....

Van Benthem, Johannes Franciscus Abraham Karel

Van Benthem Johannes Franciscus Abraham Karel 1949-....

ヨハン・ファン・ベンタム

Languages
English (358)

Dutch (7)

Italian (2)

German (1)

Spanish (1)