Modal Logic for Open Minds

Johan van Benthem

ISBN 10: 157586598X / ISBN 13: 9781575865980

Editore: Centre for the Study of Language and Information, US, 2010

Riguardo questo articolo

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.

Codice articolo LU-9781575865980

Dati bibliografici

• Titolo: Modal Logic for Open Minds
• Editore: Centre for the Study of Language and Information, US
• Data di pubblicazione: 2010
• Lingua: Inglese
• ISBN 10: 157586598X
• ISBN 13: 9781575865980
• Rilegatura: Paperback
• Condizione: New
• Peso: 567 grammi

Descrizione articolo

Riassunto

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.

Informazioni sull?autore

Johan van Benthem is University Professor of pure and applied logic at the University of Amsterdam, the Henry Waldgrave Stuart Professor of Philosophy at Stanford University, and the Weilun Visiting Professor of Humanities at Tsinghua University in Beijing.