Bøger af Johan van Benthem

A systematic study of information dynamics that extends beyond what is found in standard logic textbooks. Everything we do is driven by information, but the dynamic process of acquiring information and adjusting our views based on it has seldom been put at the center place in logic, and there are few textbooks introducing readers to this line of work. The present book introduces the reader to major logical techniques for studying information dynamics and interaction between agents, based on a variety of intuitive scenarios as well as recent research. Readers will learn styles of modeling, as well as the basic features of the new logical systems emanating from this line of work. All the separate strands in the book are brought together in a comprehensive study of information flow and action in games, forming a logic-based complement to standard perspectives in game theory.

In Modal Logic for Open Minds, Johan van Benthem provides an up-to-date 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, semantics, bisimulation, and axiomatics, and also covers more advanced topics, such as expressive power and computational complexity. The book then moves to a wide range of applications, including new developments in information flow, intelligent agency, and games. Taken together, the chapters show modal logic at the crossroads of philosophy, mathematics, linguistics, computer science, and economics. Most 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.

In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.

In fact, perhaps the most significant sources of new activity have been the applied areas of Linguistics and Computer Science (including Artificial Intelligence), where many intriguing new ideas have appeared presenting further challenges to temporal logic.