Exploring logical dynamics:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Stanford, Calif.
CSLI Publ. [u.a.]
1996
|
| Schriftenreihe: | Studies in logic, language and information
|
| Schlagworte: | |
| Online-Zugang: | Publisher description Table of contents Inhaltsverzeichnis |
| Beschreibung: | XI, 329 S. graph. Darst. |
| ISBN: | 1575860597 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011128622 | ||
| 003 | DE-604 | ||
| 005 | 19990730 | ||
| 007 | t | ||
| 008 | 961220s1996 xxud||| |||| 00||| eng d | ||
| 020 | |a 1575860597 |9 1-575-86059-7 | ||
| 035 | |a (OCoLC)34782665 | ||
| 035 | |a (DE-599)BVBBV011128622 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c XD-US | ||
| 049 | |a DE-739 |a DE-19 |a DE-91G |a DE-29 |a DE-521 |a DE-83 | ||
| 050 | 0 | |a BC71.B376 1996 | |
| 082 | 0 | |a 160 20 | |
| 082 | 0 | |a 003.54 |2 20 | |
| 082 | 0 | |a 160 |2 20 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a ER 620 |0 (DE-625)27737: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 570f |2 stub | ||
| 084 | |a MAT 030f |2 stub | ||
| 100 | 1 | |a Benthem, Johan van |d 1949- |e Verfasser |0 (DE-588)124543286 |4 aut | |
| 245 | 1 | 0 | |a Exploring logical dynamics |c Johan van Benthem |
| 264 | 1 | |a Stanford, Calif. |b CSLI Publ. [u.a.] |c 1996 | |
| 300 | |a XI, 329 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Studies in logic, language and information | |
| 650 | 7 | |a Fundamentele informatica |2 gtt | |
| 650 | 7 | |a Mathematische linguïstiek |2 gtt | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 4 | |a Logic | |
| 856 | 4 | |u http://www.loc.gov/catdir/description/cam027/96021264.html |3 Publisher description | |
| 856 | 4 | |u http://www.loc.gov/catdir/toc/cam024/96021264.html |3 Table of contents | |
| 856 | 4 | 2 | |m GBV Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007457436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007457436 | ||
Datensatz im Suchindex
| _version_ | 1804125620286783488 |
|---|---|
| adam_text | EXPLORING LOGICAL DYNAMICS JOHAN VAN BENTHEM CSLI PUBLICATIONS CENTER
FOR THE STUDY OF LANGUAGE AND INFORMATION STANFORD, CALIFORNIA & FOLLI
THE EUROPEAN ASSOCIATION FOR LOGIC, LANGUAGE AND INFORMATION CONTENTS
INTRODUCTION IX PART I THE DYNAMIC TURN 1 1 COGNITIVE ACTIONS 3 1.1
RECOGNIZING COGNITIVE PROCESSES 3 1.2 MATHEMATICAL PROCESS MODELS 5 1.3
STANDARD LOGICS DYNAMIFIED 7 1.4 PROPOSITIONS AS PROCEDURES 9 1.5 NOTES
13 2 DYNAMIFICATION 17 2.1 UPDATING INFORMATION IN PROPOSITIONAL LOGIC
17 2.2 CHANGING PERSPECTIVES IN PREDICATE LOGIC 22 2.3 DYNAMIC MODAL
LOGIC 32 2.4 CHANGING PREFERENCES 36 2.5 GENERAL CONCLUSIONS 39 2.6
NOTES 40 3 TECHNICAL TOOLS 47 3.1 FIRST-ORDER PREDICATE LOGIC 47 3.2
MODAL LOGIC 53 3.3 RELATIONAL ALGEBRA 64 3.4 DYNAMIC LOGIC 71 3.5 NOTES
75 PART II LOGICAL FOUNDATIONS 79 4 PROCESS SIMULATION AND DEFINABILITY
81 4.1 TRANSITION SYSTEMS AND PROCESS EQUIVALENCES 81 4.2 LANGUAGES OVER
TRANSITION SYSTEMS 84 4.3 BISIMULATION INVARIANCE AND MODAL DEFINABILITY
87 VI / CONTENTS 4.4 MODAL FINE-STRUCTURE OF FIRST-ORDER LOGIC 92 4.5
NOTES 101 4.6 QUESTIONS 103 5 RELATIONAL ALGEBRA OF PROCESS OPERATIONS
105 5.1 SPACES OF LOGICAL OPERATIONS 105 5.2 BOOLEAN STRUCTURE 109 5.3
SAFETY FOR BISIMULATION 112 5.4 NOTES 120 5.5 QUESTIONS 122 6 TWO-LEVEL
STATIC-DYNAMIC ARCHITECTURE 123 6.1 ABSTRACT DYNAMIC LOGIC 123 6.2
DYNAMIC MODAL LOGIC 130 6.3 NOTES 136 6.4 QUESTIONS 138 7 DYNAMIC STYLES
OF INFERENCE 139 7.1 STYLES AND STRUCTURAL RULES 139 7.2 REPRESENTATION
THEOREMS 142 7.3 A MODAL PERSPECTIVE 145 7.4 INVERSE LOGIC 150 7.5
SWITCHING BETWEEN STYLES 152 7.6 NOTES 155 7.7 QUESTIONS 157 8 DECIDABLE
REMODELLING: ARROW LOGIC 159 8.1 CORE CONTENT VERSUS FORMAL WRAPPINGS
159 8.2 ARROW LOGIC IN A NUTSHELL 159 8.3 DYNAMIC ARROW LOGIC 164 8.4
DYNAMIC LOGIC WITH ARROWS 168 8.5 NOTES 170 8.6 QUESTIONS 173 9 MODAL
FOUNDATIONS FOR PREDICATE LOGIC 175 9.1 THE MODAL CORE OF TARSKI
SEMANTICS 175 9.2 DEPENDENCY MODELS 177 9.3 WHAT DO FIRST-ORDER AXIOMS
SAY? 178 9.4 QUANTIFIERS AND SUBSTITUTIONS 181 9.5 LANDSCAPE OF
DEDUCTIVE STRENGTH 183 9.6 RETHINKING THE LANGUAGE 185 9.7 APPLICATIONS
AND REPERCUSSIONS 186 9.8 REPRESENTATION 187 9.9 DECIDABILITY 191
CONTENTS / VII 9.10 TRANSLATIONS 194 9.11 NOTES 196 9.12 QUESTIONS 200
PART III IMPLICATIONS 203 10 COMPUTATIONAL PROCESS THEORIES 205 10.1
DEFINITION OF PROCESS EQUIVALENCES 205 10.2 AXIOMATIZATION OF PROCESS
EQUIVALENCES 208 10.3 INFINITARY THEORY OF TRANSITION SYSTEMS 209 10.4
SPECIAL TRANSITION SYSTEMS 213 10.5 PROCESS ALGEBRA 215 10.6 SAFETY FOR
PROCESS CONSTRUCTIONS 219 10.7 APPENDIX I: MODAL LOGIC OF CONSTRUCTIONS
223 10.8 APPENDIX II: CONCURRENT DYNAMIC LOGIC 225 10.9 NOTES 226 10.10
QUESTIONS 227 11 IMPERATIVE ASPECTS OF LOGIC PROGRAMS 229 11.1
DECLARATIVE VERSUS PROCEDURAL? 229 11.2 DYNAMICS OF DEDUCTIVE
APPROXIMATION 231 11.3 PROOF THEORY OF PROCEDURES 238 11.4 CALCULUS OF
TASKS 244 11.5 NOTES 246 11.6 QUESTIONS 249 12 UNDERSTANDING NATURAL
LANGUAGE 251 12.1 SYNTAX 251 12.2 SEMANTICS 260 12.3 PRAGMATICS 266 12.4
ALTERNATIVE FRAMEWORKS 273 12.5 NOTES 278 12.6 QUESTIONS 283 13
PHILOSOPHICAL REPERCUSSIONS 285 13.1 MEANING AND COGNITION AS ACTIVITIES
285 13.2 THREE MODELS FOR COGNITIVE DYNAMICS 287 13.3 COGNITIVE
FINE-STRUCTURE 291 13.4 CONTENTS AND WRAPPINGS 294 13.5 MANAGING
DIVERSITY 298 13.6 NOTES 300 BIBLIOGRAPHY 301 INDEX 327
|
| any_adam_object | 1 |
| author | Benthem, Johan van 1949- |
| author_GND | (DE-588)124543286 |
| author_facet | Benthem, Johan van 1949- |
| author_role | aut |
| author_sort | Benthem, Johan van 1949- |
| author_variant | j v b jv jvb |
| building | Verbundindex |
| bvnumber | BV011128622 |
| callnumber-first | B - Philosophy, Psychology, Religion |
| callnumber-label | BC71 |
| callnumber-raw | BC71.B376 1996 |
| callnumber-search | BC71.B376 1996 |
| callnumber-sort | BC 271 B376 41996 |
| callnumber-subject | BC - Logic |
| classification_rvk | CC 2600 ER 620 SK 130 |
| classification_tum | DAT 570f MAT 030f |
| ctrlnum | (OCoLC)34782665 (DE-599)BVBBV011128622 |
| dewey-full | 16020 003.54 160 |
| dewey-hundreds | 100 - Philosophy & psychology 000 - Computer science, information, general works |
| dewey-ones | 160 - Philosophical logic 003 - Systems |
| dewey-raw | 160 20 003.54 160 |
| dewey-search | 160 20 003.54 160 |
| dewey-sort | 3160 220 |
| dewey-tens | 160 - Philosophical logic 000 - Computer science, information, general works |
| discipline | Informatik Sprachwissenschaft Mathematik Philosophie Literaturwissenschaft |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01744nam a2200469 c 4500</leader><controlfield tag="001">BV011128622</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19990730 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">961220s1996 xxud||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1575860597</subfield><subfield code="9">1-575-86059-7</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)34782665</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011128622</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">XD-US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-19</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-521</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">BC71.B376 1996</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160 20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">003.54</subfield><subfield code="2">20</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">20</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ER 620</subfield><subfield code="0">(DE-625)27737:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">SK 130</subfield><subfield code="0">(DE-625)143216:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 570f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Benthem, Johan van</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124543286</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Exploring logical dynamics</subfield><subfield code="c">Johan van Benthem</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Stanford, Calif.</subfield><subfield code="b">CSLI Publ. [u.a.]</subfield><subfield code="c">1996</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XI, 329 S.</subfield><subfield code="b">graph. Darst.</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="0" ind2=" "><subfield code="a">Studies in logic, language and information</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Fundamentele informatica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Mathematische linguïstiek</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Modale logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/description/cam027/96021264.html</subfield><subfield code="3">Publisher description</subfield></datafield><datafield tag="856" ind1="4" ind2=" "><subfield code="u">http://www.loc.gov/catdir/toc/cam024/96021264.html</subfield><subfield code="3">Table of contents</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">GBV Datenaustausch</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=007457436&sequence=000001&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-007457436</subfield></datafield></record></collection> |
| id | DE-604.BV011128622 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:04:27Z |
| institution | BVB |
| isbn | 1575860597 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007457436 |
| oclc_num | 34782665 |
| open_access_boolean | |
| owner | DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-29 DE-521 DE-83 |
| owner_facet | DE-739 DE-19 DE-BY-UBM DE-91G DE-BY-TUM DE-29 DE-521 DE-83 |
| physical | XI, 329 S. graph. Darst. |
| publishDate | 1996 |
| publishDateSearch | 1996 |
| publishDateSort | 1996 |
| publisher | CSLI Publ. [u.a.] |
| record_format | marc |
| series2 | Studies in logic, language and information |
| spelling | Benthem, Johan van 1949- Verfasser (DE-588)124543286 aut Exploring logical dynamics Johan van Benthem Stanford, Calif. CSLI Publ. [u.a.] 1996 XI, 329 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Studies in logic, language and information Fundamentele informatica gtt Mathematische linguïstiek gtt Modale logica gtt Logic http://www.loc.gov/catdir/description/cam027/96021264.html Publisher description http://www.loc.gov/catdir/toc/cam024/96021264.html Table of contents GBV Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007457436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Benthem, Johan van 1949- Exploring logical dynamics Fundamentele informatica gtt Mathematische linguïstiek gtt Modale logica gtt Logic |
| title | Exploring logical dynamics |
| title_auth | Exploring logical dynamics |
| title_exact_search | Exploring logical dynamics |
| title_full | Exploring logical dynamics Johan van Benthem |
| title_fullStr | Exploring logical dynamics Johan van Benthem |
| title_full_unstemmed | Exploring logical dynamics Johan van Benthem |
| title_short | Exploring logical dynamics |
| title_sort | exploring logical dynamics |
| topic | Fundamentele informatica gtt Mathematische linguïstiek gtt Modale logica gtt Logic |
| topic_facet | Fundamentele informatica Mathematische linguïstiek Modale logica Logic |
| url | http://www.loc.gov/catdir/description/cam027/96021264.html http://www.loc.gov/catdir/toc/cam024/96021264.html http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007457436&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT benthemjohanvan exploringlogicaldynamics |