MARC details
| 000 -LEADER |
|---|
| fixed length control field |
07010nam a22004935i 4500 |
| 001 - CONTROL NUMBER |
|---|
| control field |
978-3-319-06025-5 |
| 003 - CONTROL NUMBER IDENTIFIER |
|---|
| control field |
DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION |
|---|
| control field |
20160302172743.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
|---|
| fixed length control field |
cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
|---|
| fixed length control field |
140826s2014 gw | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
|---|
| International Standard Book Number |
9783319060255 |
| -- |
978-3-319-06025-5 |
| 024 7# - OTHER STANDARD IDENTIFIER |
|---|
| Standard number or code |
10.1007/978-3-319-06025-5 |
| Source of number or code |
doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
|---|
| Classification number |
BC1-199 |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
HPL |
| Source |
bicssc |
| 072 #7 - SUBJECT CATEGORY CODE |
|---|
| Subject category code |
PHI011000 |
| Source |
bisacsh |
| 082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
|---|
| Classification number |
160 |
| Edition number |
23 |
| 245 10 - TITLE STATEMENT |
|---|
| Title |
Johan van Benthem on Logic and Information Dynamics |
| Medium |
[electronic resource] / |
| Statement of responsibility, etc. |
edited by Alexandru Baltag, Sonja Smets. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
|---|
| Place of production, publication, distribution, manufacture |
Cham : |
| Name of producer, publisher, distributor, manufacturer |
Springer International Publishing : |
| -- |
Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice |
2014. |
| 300 ## - PHYSICAL DESCRIPTION |
|---|
| Extent |
LXIX, 1027 p. 115 illus. |
| Other physical details |
online resource. |
| 336 ## - CONTENT TYPE |
|---|
| Content type term |
text |
| Content type code |
txt |
| Source |
rdacontent |
| 337 ## - MEDIA TYPE |
|---|
| Media type term |
computer |
| Media type code |
c |
| Source |
rdamedia |
| 338 ## - CARRIER TYPE |
|---|
| Carrier type term |
online resource |
| Carrier type code |
cr |
| Source |
rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS |
|---|
| File type |
text file |
| Encoding format |
PDF |
| Source |
rda |
| 490 1# - SERIES STATEMENT |
|---|
| Series statement |
Outstanding Contributions to Logic, |
| International Standard Serial Number |
2211-2758 ; |
| Volume/sequential designation |
5 |
| 505 0# - FORMATTED CONTENTS NOTE |
|---|
| Formatted contents note |
Preface; Johan van Benthem -- Introduction; Alexandru Baltag and Sonja Smets -- Part I. Mathematical and Computational Perspectives -- The Freedoms of (Guarded) Bisimulation; Erich Gr�del and Martin Otto -- Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective; Yde Venema -- Schema Mappings: A Case of Logical Dynamics in Database Theory; Balder ten Cate and Phokion G. Kolaitis -- On Dependence Logic; Pietro Galliani, Jouko V��n�nen -- Intensionality, Definability and Computation; Samson Abramsky -- Comparing Theories: The Dynamics of Changing Vocabulary; Hajnal Andr�ka and Istv�n N�meti -- Part II. Dynamics of Knowledge and Belief Over Time -- Dynamic Epistemic Logics; Jan van Eijck -- Belief Revision and Dynamic Logic; Patrick Girard and Hans Rott -- Temporal Aspects of the Dynamics of Knowledge; Valentin Goranko and Eric Pacuit -- Logic and Learning; Nina Gierasimczuk, Vincent F. Hendricks, and Dick de Jongh -- A Computational Learning Semantics for Inductive Empirical Knowledge; Kevin T. Kelly -- Structures for Epistemic Logic; Nick Bezhanishvili and Wiebe van der Hoek -- Logic and Probabilistic Update; Lorenz Demey and Barteld Kooi -- Belief as a Simplification of Probability, and What This Entails; Hannes Leitgeb -- Part III. Games -- Logic and Game Theory; Giacomo Bonanno and C�dric D�gremont -- Knowledge Games and Coalitional Abilities; Thomas �gotnes and Hans van Ditmarsch -- On Definitive Solutions of Strategic Games; Sergei Artemov -- Logical Player Types for a Theory of Play; Ram Ramanujam -- An Alternative Analysis of Signaling Games; Gabriel Sandu -- Part IV. Agency -- Them and Us: Autonomous Agents in Vivo and in Silico; Peter Millican and Michael Wooldridge -- Incorporating Action Models into the Situation Calculus; Yongmei Liu and Hector J. Levesque -- Roles, Rigidity, and Quantification in Epistemic Logic; Wesley H. Holliday and John Perry -- Stit Logics, Games, Knowledge, and Freedom; Roberto Ciuni and John Horty -- The Logic of Best Actions from a Deontic Perspective; Olivier Roy, Albert J.J. Anglberger and Norbert Gratzl -- When Are Two Arguments the Same? Equivalence in Abstract Argumentation; Dov Gabbay and Davide Grossi -- Part V. Language and Cognition -- Three Etudes on Logical Dynamics and the Program of Natural Logic; Lawrence S. Moss -- From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value; Sven Ove Hansson and Fenrong Liu -- Arguing about Dynamic Meaning; Martin Stokhof -- Logic of and for Language, and Logic of and for Mind; Hans Kamp -- Logic and Complexity in Cognitive Science; Alistair M.C. Isaac and Jakub Szymanik and Rineke Verbrugge -- Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient; Peter G�rdenfors -- Part VI. Styles of Reasoning -- Dynamic vs. Classical consequence; Denis Bonnay and Dag Westerst�hl -- Dynamic Epistemic Logic as a Substructural Logic; Guillaume Aucher -- Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras; J. Michael Dunn -- Situation Theory Reconsidered; Jeremy Seligman -- Unified Correspondence; Willem Conradie, Silvio Ghilardi, Alessandra Palmigiano -- Conclusions -- Reflections; Johan van Benthem -- Scientific Autobiography; Johan van Benthem -- Bibliography -- Publications.�. |
| 520 ## - SUMMARY, ETC. |
|---|
| Summary, etc. |
This book illustrates the program of Logical-Informational Dynamics. Rational agents exploit the information available in the world in delicate ways, adopt a wide range of epistemic attitudes, and in that process, constantly change the world itself. Logical-Informational Dynamics is about logical systems putting such activities at center stage, focusing on the events by which we acquire information and change attitudes. Its contributions show many current logics of information and change at work, often in multi-agent settings where social behavior is essential, and often stressing Johan van Benthem's pioneering work in establishing this program. However, this is not a Festschrift, but a rich tapestry for a field with a wealth of strands of its own. The reader will see the state of the art in such topics as information update, belief change, preference, learning over time, and strategic interaction in games. Moreover, no tight boundary has been enforced, and some chapters add more general mathematical or philosophical foundations or links to current trends in computer science. � The theme of this book lies at the interface of many disciplines. Logic is the main methodology, but the various chapters cross easily between mathematics, computer science, philosophy, linguistics, cognitive and social sciences, while also ranging from pure theory to empirical work. Accordingly, the authors of this book represent a wide variety of original thinkers from different research communities. And their interconnected themes challenge at the same time how we think of logic, philosophy and computation. � Thus, very much in line with van Benthem's work over many decades, the volume shows how all these disciplines form a natural unity in the perspective of dynamic logicians (broadly conceived) exploring their new themes today. And at the same time, in doing so, it offers a broader conception of logic with a certain grandeur, moving its horizons beyond the traditional study of consequence relations. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Philosophy. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic design. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical logic. |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Philosophy. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Mathematical Logic and Foundations. |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
|---|
| Topical term or geographic name as entry element |
Logic Design. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Baltag, Alexandru. |
| Relator term |
editor. |
| 700 1# - ADDED ENTRY--PERSONAL NAME |
|---|
| Personal name |
Smets, Sonja. |
| Relator term |
editor. |
| 710 2# - ADDED ENTRY--CORPORATE NAME |
|---|
| Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY |
|---|
| Title |
Springer eBooks |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
|---|
| Relationship information |
Printed edition: |
| International Standard Book Number |
9783319060248 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
|---|
| Uniform title |
Outstanding Contributions to Logic, |
| International Standard Serial Number |
2211-2758 ; |
| Volume number/sequential designation |
5 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS |
|---|
| Uniform Resource Identifier |
<a href="http://dx.doi.org/10.1007/978-3-319-06025-5">http://dx.doi.org/10.1007/978-3-319-06025-5</a> |
| 912 ## - |
|---|
| -- |
ZDB-2-SHU |
