Temporal logics:
Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving var...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2023
|
| Schriftenreihe: | Cambridge elements
|
| Schlagworte: | |
| Online-Zugang: | DE-12 DE-473 Volltext |
| Zusammenfassung: | Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks |
| Beschreibung: | Title from publisher's bibliographic system (viewed on 08 Sep 2023) |
| Beschreibung: | 1 Online-Ressource (102 Seiten) |
| ISBN: | 9781009170093 |
| DOI: | 10.1017/9781009170093 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV049510417 | ||
| 003 | DE-604 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 240122s2023 |||| o||u| ||||||eng d | ||
| 020 | |a 9781009170093 |c Online |9 978-1-009-17009-3 | ||
| 024 | 7 | |a 10.1017/9781009170093 |2 doi | |
| 035 | |a (ZDB-20-CBO)CR9781009170093 | ||
| 035 | |a (OCoLC)1422389028 | ||
| 035 | |a (DE-599)BVBBV049510417 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 |a DE-473 | ||
| 082 | 0 | |a 160 | |
| 100 | 1 | |a Goranko, Valentin |0 (DE-588)1073308766 |4 aut | |
| 245 | 1 | 0 | |a Temporal logics |c Valentin Goranko |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2023 | |
| 300 | |a 1 Online-Ressource (102 Seiten) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Cambridge elements | |
| 500 | |a Title from publisher's bibliographic system (viewed on 08 Sep 2023) | ||
| 520 | |a Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks | ||
| 650 | 4 | |a Tense (Logic) | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Time | |
| 650 | 0 | 7 | |a Zeit |0 (DE-588)4067461-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mathematische Logik |0 (DE-588)4037951-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitlichkeit |0 (DE-588)4134190-9 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Zeit |0 (DE-588)4067461-7 |D s |
| 689 | 0 | 1 | |a Zeitlichkeit |0 (DE-588)4134190-9 |D s |
| 689 | 0 | 2 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | 3 | |a Mathematische Logik |0 (DE-588)4037951-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 978-1-009-17010-9 |
| 856 | 4 | 0 | |u https://doi.org/10.1017/9781009170093 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-20-CBO | ||
| 966 | e | |u https://doi.org/10.1017/9781009170093 |l DE-12 |p ZDB-20-CBO |q BSB_PDA_CBO |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1017/9781009170093 |l DE-473 |p ZDB-20-CBO |q UBG_PDA_CBO |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1805069615447932928 |
|---|---|
| adam_text | |
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author | Goranko, Valentin |
| author_GND | (DE-588)1073308766 |
| author_facet | Goranko, Valentin |
| author_role | aut |
| author_sort | Goranko, Valentin |
| author_variant | v g vg |
| building | Verbundindex |
| bvnumber | BV049510417 |
| collection | ZDB-20-CBO |
| ctrlnum | (ZDB-20-CBO)CR9781009170093 (OCoLC)1422389028 (DE-599)BVBBV049510417 |
| dewey-full | 160 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 160 - Philosophical logic |
| dewey-raw | 160 |
| dewey-search | 160 |
| dewey-sort | 3160 |
| dewey-tens | 160 - Philosophical logic |
| discipline | Philosophie |
| discipline_str_mv | Philosophie |
| doi_str_mv | 10.1017/9781009170093 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nmm a2200000zc 4500</leader><controlfield tag="001">BV049510417</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">240122s2023 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781009170093</subfield><subfield code="c">Online</subfield><subfield code="9">978-1-009-17009-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1017/9781009170093</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-20-CBO)CR9781009170093</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1422389028</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV049510417</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="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield><subfield code="a">DE-473</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Goranko, Valentin</subfield><subfield code="0">(DE-588)1073308766</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Temporal logics</subfield><subfield code="c">Valentin Goranko</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2023</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (102 Seiten)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Cambridge elements</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Title from publisher's bibliographic system (viewed on 08 Sep 2023)</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Tense (Logic)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Time</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeit</subfield><subfield code="0">(DE-588)4067461-7</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="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitlichkeit</subfield><subfield code="0">(DE-588)4134190-9</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Zeit</subfield><subfield code="0">(DE-588)4067461-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Zeitlichkeit</subfield><subfield code="0">(DE-588)4134190-9</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><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="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">978-1-009-17010-9</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1017/9781009170093</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CBO</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009170093</subfield><subfield code="l">DE-12</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">BSB_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1017/9781009170093</subfield><subfield code="l">DE-473</subfield><subfield code="p">ZDB-20-CBO</subfield><subfield code="q">UBG_PDA_CBO</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV049510417 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T23:23:02Z |
| indexdate | 2024-07-20T04:08:51Z |
| institution | BVB |
| isbn | 9781009170093 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-034856482 |
| oclc_num | 1422389028 |
| open_access_boolean | |
| owner | DE-12 DE-473 DE-BY-UBG |
| owner_facet | DE-12 DE-473 DE-BY-UBG |
| physical | 1 Online-Ressource (102 Seiten) |
| psigel | ZDB-20-CBO ZDB-20-CBO BSB_PDA_CBO ZDB-20-CBO UBG_PDA_CBO |
| publishDate | 2023 |
| publishDateSearch | 2023 |
| publishDateSort | 2023 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Cambridge elements |
| spelling | Goranko, Valentin (DE-588)1073308766 aut Temporal logics Valentin Goranko Cambridge Cambridge University Press 2023 1 Online-Ressource (102 Seiten) txt rdacontent c rdamedia cr rdacarrier Cambridge elements Title from publisher's bibliographic system (viewed on 08 Sep 2023) Temporal Logics are a rich variety of logical systems designed for formalising reasoning about time, and about events and changes in the world over time. These systems differ by the ontological assumptions made about the nature of time in the associated models, by the logical languages involving various operators for composing temporalized expressions, and by the formal logical semantics adopted for capturing the precise intended meaning of these temporal operators. Temporal logics have found a wide range of applications as formal frameworks for temporal knowledge representation and reasoning in artificial intelligence, and as tools for formal specification, analysis, and verification of properties of computer programs and systems. This Element aims at providing both a panoramic view on the landscape of the variety of temporal logics and closer looks at some of their most interesting and important landmarks Tense (Logic) Logic, Symbolic and mathematical Time Zeit (DE-588)4067461-7 gnd rswk-swf Mathematische Logik (DE-588)4037951-6 gnd rswk-swf Logik (DE-588)4036202-4 gnd rswk-swf Zeitlichkeit (DE-588)4134190-9 gnd rswk-swf Zeit (DE-588)4067461-7 s Zeitlichkeit (DE-588)4134190-9 s Logik (DE-588)4036202-4 s Mathematische Logik (DE-588)4037951-6 s DE-604 Erscheint auch als Druck-Ausgabe 978-1-009-17010-9 https://doi.org/10.1017/9781009170093 Verlag URL des Erstveröffentlichers Volltext |
| spellingShingle | Goranko, Valentin Temporal logics Tense (Logic) Logic, Symbolic and mathematical Time Zeit (DE-588)4067461-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Zeitlichkeit (DE-588)4134190-9 gnd |
| subject_GND | (DE-588)4067461-7 (DE-588)4037951-6 (DE-588)4036202-4 (DE-588)4134190-9 |
| title | Temporal logics |
| title_auth | Temporal logics |
| title_exact_search | Temporal logics |
| title_exact_search_txtP | Temporal logics |
| title_full | Temporal logics Valentin Goranko |
| title_fullStr | Temporal logics Valentin Goranko |
| title_full_unstemmed | Temporal logics Valentin Goranko |
| title_short | Temporal logics |
| title_sort | temporal logics |
| topic | Tense (Logic) Logic, Symbolic and mathematical Time Zeit (DE-588)4067461-7 gnd Mathematische Logik (DE-588)4037951-6 gnd Logik (DE-588)4036202-4 gnd Zeitlichkeit (DE-588)4134190-9 gnd |
| topic_facet | Tense (Logic) Logic, Symbolic and mathematical Time Zeit Mathematische Logik Logik Zeitlichkeit |
| url | https://doi.org/10.1017/9781009170093 |
| work_keys_str_mv | AT gorankovalentin temporallogics |