Logics of time and computation:
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | Undetermined |
| Published: |
Menlo Park, Calif.
CSLI
1992
|
| Edition: | 2. ed., rev. and expanded |
| Series: | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes
7 |
| Subjects: | |
| Online Access: | Inhaltsverzeichnis |
| Physical Description: | IX, 180 S. |
| ISBN: | 0937073938 0937073946 |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009018180 | ||
| 003 | DE-604 | ||
| 005 | 20001016 | ||
| 007 | t | ||
| 008 | 940206s1992 |||| 00||| und d | ||
| 020 | |a 0937073938 |9 0-937073-93-8 | ||
| 020 | |a 0937073946 |9 0-937073-94-6 | ||
| 035 | |a (OCoLC)243776720 | ||
| 035 | |a (DE-599)BVBBV009018180 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-29 |a DE-92 |a DE-12 |a DE-384 |a DE-355 | ||
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a DAT 540f |2 stub | ||
| 084 | |a DAT 030f |2 stub | ||
| 084 | |a 5,1 |2 ssgn | ||
| 100 | 1 | |a Goldblatt, Robert |d 1949- |e Verfasser |0 (DE-588)1025661435 |4 aut | |
| 245 | 1 | 0 | |a Logics of time and computation |c Robert Goldblatt |
| 250 | |a 2. ed., rev. and expanded | ||
| 264 | 1 | |a Menlo Park, Calif. |b CSLI |c 1992 | |
| 300 | |a IX, 180 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 7 | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 830 | 0 | |a Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |v 7 |w (DE-604)BV001900711 |9 7 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch Darmstadt |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005963252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005963252 | ||
Record in the Search Index
| _version_ | 1804123368042004480 |
|---|---|
| adam_text | CSLI LECTURE NOTES NO. 7 LOGICS OF TIME AND COMPUTATION SECOND EDITION
REVISED AND EXPANDED ROBERT GOLDBLATT CSLI CENTER FOR THE STUDY OF
LANGUAGE AND INFORMATION CONTENTS PREFACE TO THE FIRST EDITION VII
PREFACE TO THE SECOND EDITION VIII PART ONE: PROPOSITIONAL MODAL LOGIC 1
1. SYNTAX AND SEMANTICS 3 2. PROOF THEORY 16 3. CANONICAL MODELS AND
COMPLETENESS 24 4. FILTRATIONS AND DECIDABILITY 31 5. MULTIMODAL
LANGUAGES 37 6. TEMPORAL LOGIC 40 7. SOME TOPICS IN METATHEORY 48 PART
TWO: SOME TEMPORAL AND COMPUTATIONAL LOGICS 63 8. LOGICS WITH LINEAR
FRAMES 65 9. TEMPORAL LOGIC OF CONCURRENCY 84 10. PROPOSITIONAL DYNAMIC
LOGIC 109 PART THREE: FIRST-ORDER DYNAMIC LOGIC 141 11. ASSIGNMENTS,
SUBSTITUTIONS, AND QUANTIFIERS 143 12. SYNTAX AND SEMANTICS 146 13.
PROOF THEORY 154 14. CANONICAL MODEL AND COMPLETENESS 162 BIBLIOGRAPHY
169 INDEX 175 IX
|
| any_adam_object | 1 |
| author | Goldblatt, Robert 1949- |
| author_GND | (DE-588)1025661435 |
| author_facet | Goldblatt, Robert 1949- |
| author_role | aut |
| author_sort | Goldblatt, Robert 1949- |
| author_variant | r g rg |
| building | Verbundindex |
| bvnumber | BV009018180 |
| classification_rvk | CC 2500 SK 130 |
| classification_tum | DAT 540f DAT 030f |
| ctrlnum | (OCoLC)243776720 (DE-599)BVBBV009018180 |
| discipline | Informatik Mathematik Philosophie |
| edition | 2. ed., rev. and expanded |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01780nam a2200445 cb4500</leader><controlfield tag="001">BV009018180</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20001016 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940206s1992 |||| 00||| und d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0937073938</subfield><subfield code="9">0-937073-93-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0937073946</subfield><subfield code="9">0-937073-94-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)243776720</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009018180</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-29</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-355</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2500</subfield><subfield code="0">(DE-625)17609:</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 540f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 030f</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goldblatt, Robert</subfield><subfield code="d">1949-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)1025661435</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logics of time and computation</subfield><subfield code="c">Robert Goldblatt</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">2. ed., rev. and expanded</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Menlo Park, Calif.</subfield><subfield code="b">CSLI</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 180 S.</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">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">7</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modallogik</subfield><subfield code="0">(DE-588)4074914-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes</subfield><subfield code="v">7</subfield><subfield code="w">(DE-604)BV001900711</subfield><subfield code="9">7</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS Datenaustausch Darmstadt</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=005963252&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-005963252</subfield></datafield></record></collection> |
| id | DE-604.BV009018180 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:39Z |
| institution | BVB |
| isbn | 0937073938 0937073946 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005963252 |
| oclc_num | 243776720 |
| open_access_boolean | |
| owner | DE-29 DE-92 DE-12 DE-384 DE-355 DE-BY-UBR |
| owner_facet | DE-29 DE-92 DE-12 DE-384 DE-355 DE-BY-UBR |
| physical | IX, 180 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| publisher | CSLI |
| record_format | marc |
| series | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| series2 | Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes |
| spelling | Goldblatt, Robert 1949- Verfasser (DE-588)1025661435 aut Logics of time and computation Robert Goldblatt 2. ed., rev. and expanded Menlo Park, Calif. CSLI 1992 IX, 180 S. txt rdacontent n rdamedia nc rdacarrier Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 7 Modallogik (DE-588)4074914-9 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Modallogik (DE-588)4074914-9 s DE-604 Temporale Logik (DE-588)4137542-7 s Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes 7 (DE-604)BV001900711 7 HEBIS Datenaustausch Darmstadt application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005963252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Goldblatt, Robert 1949- Logics of time and computation Center for the Study of Language and Information <Stanford, Calif.>: CSLI lecture notes Modallogik (DE-588)4074914-9 gnd Temporale Logik (DE-588)4137542-7 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4137542-7 |
| title | Logics of time and computation |
| title_auth | Logics of time and computation |
| title_exact_search | Logics of time and computation |
| title_full | Logics of time and computation Robert Goldblatt |
| title_fullStr | Logics of time and computation Robert Goldblatt |
| title_full_unstemmed | Logics of time and computation Robert Goldblatt |
| title_short | Logics of time and computation |
| title_sort | logics of time and computation |
| topic | Modallogik (DE-588)4074914-9 gnd Temporale Logik (DE-588)4137542-7 gnd |
| topic_facet | Modallogik Temporale Logik |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005963252&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV001900711 |
| work_keys_str_mv | AT goldblattrobert logicsoftimeandcomputation |