Holdings: Johan van Benthem on logic and information dynamics

Johan van Benthem on logic and information dynamics:

Saved in:

Bibliographic Details
Other Authors:	Baltag, Alexandru 1967- (Editor), Smets, Sonja (Editor)
Format:	Book
Language:	English
Published:	Cham ; Heidelberg ; New York ; Dordrecht ; London Springer [2014]
Edition:	Softcover reprint of the hardcover 1st edition
Series:	Outstanding contributions to logic Volume 5
Subjects:	Benthem, Johan van > 1949- Mathematische Logik Aufsatzsammlung
Online Access:	Inhaltsverzeichnis
Physical Description:	lxix, 1027 Seiten Illustrationen
ISBN:	9783319382975 9783319060248

Staff View

MARC


LEADER	00000nam a2200000zcb4500
001	BV045286920
003	DE-604
005	20190507
007	t
008	181113s2014 gw a\|\|\| \|\|\|\| 00\|\|\| eng d
020			\|a 9783319382975 \|c Broschur \|9 978-3-319-38297-5
020			\|a 9783319060248 \|c Hardcover \|9 978-3-319-06024-8
035			\|a (OCoLC)894768140
035			\|a (DE-599)BVBBV045286920
040			\|a DE-604 \|b ger \|e rda
041	0		\|a eng
044			\|a gw \|c XA-DE-BE
049			\|a DE-12
082	0		\|a 100
084			\|a 100 \|2 sdnb
245	1	0	\|a Johan van Benthem on logic and information dynamics \|c Alexandru Baltag, Sonja Smets (editors)
250			\|a Softcover reprint of the hardcover 1st edition
264		1	\|a Cham ; Heidelberg ; New York ; Dordrecht ; London \|b Springer \|c [2014]
264		4	\|c © 2014
300			\|a lxix, 1027 Seiten \|b Illustrationen
336			\|b txt \|2 rdacontent
337			\|b n \|2 rdamedia
338			\|b nc \|2 rdacarrier
490	1		\|a Outstanding contributions to logic \|v Volume 5
600	1	7	\|a Benthem, Johan van \|d 1949- \|0 (DE-588)124543286 \|2 gnd \|9 rswk-swf
650	0	7	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|2 gnd \|9 rswk-swf
655		7	\|0 (DE-588)4143413-4 \|a Aufsatzsammlung \|2 gnd-content
689	0	0	\|a Benthem, Johan van \|d 1949- \|0 (DE-588)124543286 \|D p
689	0	1	\|a Mathematische Logik \|0 (DE-588)4037951-6 \|D s
689	0		\|5 DE-604
700	1		\|a Baltag, Alexandru \|d 1967- \|0 (DE-588)1136790802 \|4 edt
700	1		\|a Smets, Sonja \|0 (DE-588)1185104682 \|4 edt
776	0	8	\|i Erscheint auch als \|n Online-Ausgabe, eBook \|z 978-3-319-06025-5
830		0	\|a Outstanding contributions to logic \|v Volume 5 \|w (DE-604)BV041420236 \|9 5
856	4	2	\|m Digitalisierung BSB München - ADAM Catalogue Enrichment \|q application/pdf \|u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030674353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA \|3 Inhaltsverzeichnis
999			\|a oai:aleph.bib-bvb.de:BVB01-030674353

Record in the Search Index

_version_	1804179063408951296
adam_text	Contents Preface by Johan van Benthem.................................... ix On the Trails of Logical Dynamics: a bird’s-eye view of this volume, by Alexandra Baltag and Sonja Smets............. xv Part I Mathematical and Computational Perspectives 1 The Freedoms of (Guarded) Bisimulation...................... 3 Erich Gradel and Martin Otto 2 Expressiveness Modulo Bisimilarity: A Coalgebraic Perspective...................................... 33 Yde Yenema 3 Schema Mappings: A Case of Logical Dynamics in Database Theory............................................. 67 Balder ten Cate and Phokion G. Kolaitis 4 On Dependence Logic............................................ 101 Pietro Galliani and Jouko Vaananen 5 Intensionality, Definability and Computation................... 121 Samson Abramsky 6 Comparing Theories: The Dynamics of Changing Vocabulary . . . 143 Hajnal Andreka and Istvan Nemeti Part II Dynamics of Knowledge and Belief Over Time 7 Dynamic Epistemic Logics....................................... 175 Jan van Eijck v vi Contents 8 Belief Revision and Dynamic Logic.................................. 203 Patrick Girard and Hans Rott 9 Temporal Aspects of the Dynamics of Knowledge.................... 235 Valentin Goranko and Eric Pacuit 10 Logic and Learning................................................. 267 Nina Gierasimczuk, Vincent F. Hendricks and Dick de Jongh 11 A Computational Learning Semantics for Inductive Empirical Knowledge.............................................. 289 Kevin T* Kelly 12 Structures for Epistemic Logic.................................... 339 Nick Bezhanishvili and Wiebe van der Hoek 13 Logic and Probabilistic Update................................... 381 Lorenz Demey and Barteld Kooi 14 Belief as a Simplification of Probability, and What This Entails........................................... 405 Hannes Leitgeb Part III Games 15 Logic and Game Theory......................................... 421 Giacomo Bonanno and Cedric Degremont 16 Knowledge Games and Coalitional Abilities..................... 451 Thomas Agotnes and Hans van Ditmarsch 17 On Definitive Solutions of Strategic Games.................... 487 Sergei Artemov 18 Logical Player Types for a Theory of Play..................... 509 R. Ramanujam 19 An Alternative Analysis of Signaling Games.................... 529 Gabriel Sandu Contents vii Part IY Agency 20 Them and Us: Autonomous Agents In Vivo and In Silico......... 547 Peter Millican and Michael Wooldridge 21 Incorporating Action Models into the Situation Calculus...... 569 Yongmei Liu and Hector J. Levesque 22 Roles, Rigidity, and Quantification in Epistemic Logic....... 591 Wesley H. Holliday and John Perry 23 Stit Logics, Games, Knowledge, and Freedom................... 631 Roberto Ciuni and John Horty 24 The Logic of Best Actions from a Deontic Perspective......... 657 Olivier Roy, Albert J. J. Anglberger and Norbert Gratzl 25 When are Two Arguments the Same? Equivalence in Abstract Argumentation................................... 677 Dov Gabbay and Davide Grossi Part V Language and Cognition 26 Three Etudes on Logical Dynamics and the Program of Natural Logic........................................... 705 Lawrence S. Moss 27 From Good to Better: Using Contextual Shifts to Define Preference in Terms of Monadic Value....................... 729 Sven Ove Hansson and Fenrong Liu 28 Arguing About Dynamic Meaning............................... 749 Martin Stokhof 29 Logic of and for Language, and Logic of and for Mind........ 765 Hans Kamp 30 Logic and Complexity in Cognitive Science................... 787 Alistair M. C. Isaac, Jakub Szymanik and Rineke Verbrugge 31 Computational Complexity and Cognitive Science: How the Body and the World Help the Mind be Efficient...... 825 Peter Gardenfors viii Contents Part VI Styles of Reasoning 32 Dynamic Versus Classical Consequence......................... 837 Denis Bonnay and Dag Westerstahl 33 Dynamic Epistemic Logic as a Substructural Logic............. 855 Guillaume Aucher 34 Arrows Pointing at Arrows: Arrow Logic, Relevance Logic, and Relation Algebras.................................. 881 J. Michael Dunn 35 Situation Theory Reconsidered.................................. 895 Jeremy Seligman 36 Unified Correspondence......................................... 933 Willem Conradie, Silvio Ghilardi and Alessandra Palmigiano ADDENDUM I: Reflections on the Contributions..................... 977 ADDENDUM II: The Life of Logic, a Scientific Autobiography....... 989 ADDENDUM III: Bibliography of Johan van Benthem.................. 999
any_adam_object	1
author2	Baltag, Alexandru 1967- Smets, Sonja
author2_role	edt edt
author2_variant	a b ab s s ss
author_GND	(DE-588)1136790802 (DE-588)1185104682
author_facet	Baltag, Alexandru 1967- Smets, Sonja
building	Verbundindex
bvnumber	BV045286920
ctrlnum	(OCoLC)894768140 (DE-599)BVBBV045286920
dewey-full	100
dewey-hundreds	100 - Philosophy & psychology
dewey-ones	100 - Philosophy & psychology
dewey-raw	100
dewey-search	100
dewey-sort	3100
dewey-tens	100 - Philosophy & psychology
discipline	Philosophie
edition	Softcover reprint of the hardcover 1st edition
format	Book
fullrecord	<?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01962nam a2200457zcb4500</leader><controlfield tag="001">BV045286920</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20190507 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">181113s2014 gw a\|\|\| \|\|\|\| 00\|\|\| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319382975</subfield><subfield code="c">Broschur</subfield><subfield code="9">978-3-319-38297-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319060248</subfield><subfield code="c">Hardcover</subfield><subfield code="9">978-3-319-06024-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)894768140</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045286920</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">100</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Johan van Benthem on logic and information dynamics</subfield><subfield code="c">Alexandru Baltag, Sonja Smets (editors)</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Softcover reprint of the hardcover 1st edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cham ; Heidelberg ; New York ; Dordrecht ; London</subfield><subfield code="b">Springer</subfield><subfield code="c">[2014]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2014</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">lxix, 1027 Seiten</subfield><subfield code="b">Illustrationen</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Outstanding contributions to logic</subfield><subfield code="v">Volume 5</subfield></datafield><datafield tag="600" ind1="1" ind2="7"><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="D">p</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Mathematische Logik</subfield><subfield code="0">(DE-588)4037951-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Baltag, Alexandru</subfield><subfield code="d">1967-</subfield><subfield code="0">(DE-588)1136790802</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Smets, Sonja</subfield><subfield code="0">(DE-588)1185104682</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Online-Ausgabe, eBook</subfield><subfield code="z">978-3-319-06025-5</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Outstanding contributions to logic</subfield><subfield code="v">Volume 5</subfield><subfield code="w">(DE-604)BV041420236</subfield><subfield code="9">5</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - ADAM Catalogue Enrichment</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030674353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030674353</subfield></datafield></record></collection>
genre	(DE-588)4143413-4 Aufsatzsammlung gnd-content
genre_facet	Aufsatzsammlung
id	DE-604.BV045286920
illustrated	Illustrated
indexdate	2024-07-10T08:13:54Z
institution	BVB
isbn	9783319382975 9783319060248
language	English
oai_aleph_id	oai:aleph.bib-bvb.de:BVB01-030674353
oclc_num	894768140
open_access_boolean
owner	DE-12
owner_facet	DE-12
physical	lxix, 1027 Seiten Illustrationen
publishDate	2014
publishDateSearch	2014
publishDateSort	2014
publisher	Springer
record_format	marc
series	Outstanding contributions to logic
series2	Outstanding contributions to logic
spelling	Johan van Benthem on logic and information dynamics Alexandru Baltag, Sonja Smets (editors) Softcover reprint of the hardcover 1st edition Cham ; Heidelberg ; New York ; Dordrecht ; London Springer [2014] © 2014 lxix, 1027 Seiten Illustrationen txt rdacontent n rdamedia nc rdacarrier Outstanding contributions to logic Volume 5 Benthem, Johan van 1949- (DE-588)124543286 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content Benthem, Johan van 1949- (DE-588)124543286 p Mathematische Logik (DE-588)4037951-6 s DE-604 Baltag, Alexandru 1967- (DE-588)1136790802 edt Smets, Sonja (DE-588)1185104682 edt Erscheint auch als Online-Ausgabe, eBook 978-3-319-06025-5 Outstanding contributions to logic Volume 5 (DE-604)BV041420236 5 Digitalisierung BSB München - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030674353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis
spellingShingle	Johan van Benthem on logic and information dynamics Outstanding contributions to logic Benthem, Johan van 1949- (DE-588)124543286 gnd Mathematische Logik (DE-588)4037951-6 gnd
subject_GND	(DE-588)124543286 (DE-588)4037951-6 (DE-588)4143413-4
title	Johan van Benthem on logic and information dynamics
title_auth	Johan van Benthem on logic and information dynamics
title_exact_search	Johan van Benthem on logic and information dynamics
title_full	Johan van Benthem on logic and information dynamics Alexandru Baltag, Sonja Smets (editors)
title_fullStr	Johan van Benthem on logic and information dynamics Alexandru Baltag, Sonja Smets (editors)
title_full_unstemmed	Johan van Benthem on logic and information dynamics Alexandru Baltag, Sonja Smets (editors)
title_short	Johan van Benthem on logic and information dynamics
title_sort	johan van benthem on logic and information dynamics
topic	Benthem, Johan van 1949- (DE-588)124543286 gnd Mathematische Logik (DE-588)4037951-6 gnd
topic_facet	Benthem, Johan van 1949- Mathematische Logik Aufsatzsammlung
url	http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=030674353&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA
volume_link	(DE-604)BV041420236
work_keys_str_mv	AT baltagalexandru johanvanbenthemonlogicandinformationdynamics AT smetssonja johanvanbenthemonlogicandinformationdynamics

Holdings

There is no print copy available.

Interlibrary loan Place Request Caution: Not in THWS collection! Indexes

MARC

Record in the Search Index

There is no print copy available.

Similar Items