Advances in Temporal Logic:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Dordrecht
Springer Netherlands
2000
|
| Schriftenreihe: | Applied Logic Series
16 |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems |
| Beschreibung: | 1 Online-Ressource (IX, 453 p) |
| ISBN: | 9789401595865 9789048153893 |
| ISSN: | 1386-2790 |
| DOI: | 10.1007/978-94-015-9586-5 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV042424152 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150317s2000 |||| o||u| ||||||eng d | ||
| 020 | |a 9789401595865 |c Online |9 978-94-015-9586-5 | ||
| 020 | |a 9789048153893 |c Print |9 978-90-481-5389-3 | ||
| 024 | 7 | |a 10.1007/978-94-015-9586-5 |2 doi | |
| 035 | |a (OCoLC)905373554 | ||
| 035 | |a (DE-599)BVBBV042424152 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-384 |a DE-703 |a DE-91 |a DE-634 | ||
| 082 | 0 | |a 160 |2 23 | |
| 084 | |a MAT 000 |2 stub | ||
| 100 | 1 | |a Barringer, Howard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Advances in Temporal Logic |c edited by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough |
| 264 | 1 | |a Dordrecht |b Springer Netherlands |c 2000 | |
| 300 | |a 1 Online-Ressource (IX, 453 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Applied Logic Series |v 16 |x 1386-2790 | |
| 500 | |a Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems | ||
| 650 | 4 | |a Philosophy (General) | |
| 650 | 4 | |a Logic | |
| 650 | 4 | |a Data structures (Computer science) | |
| 650 | 4 | |a Electronic data processing | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 650 | 4 | |a Philosophy | |
| 650 | 4 | |a Computing Methodologies | |
| 650 | 4 | |a Mathematical Logic and Foundations | |
| 650 | 4 | |a Data Structures, Cryptology and Information Theory | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Philosophie | |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |8 2\p |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 0 | |8 3\p |5 DE-604 | |
| 700 | 1 | |a Fisher, Michael |e Sonstige |4 oth | |
| 700 | 1 | |a Gabbay, Dov |e Sonstige |4 oth | |
| 700 | 1 | |a Gough, Graham |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-94-015-9586-5 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-SMA |a ZDB-2-BAE | ||
| 940 | 1 | |q ZDB-2-SMA_Archive | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027859569 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153100769951744 |
|---|---|
| any_adam_object | |
| author | Barringer, Howard |
| author_facet | Barringer, Howard |
| author_role | aut |
| author_sort | Barringer, Howard |
| author_variant | h b hb |
| building | Verbundindex |
| bvnumber | BV042424152 |
| classification_tum | MAT 000 |
| collection | ZDB-2-SMA ZDB-2-BAE |
| ctrlnum | (OCoLC)905373554 (DE-599)BVBBV042424152 |
| 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 | Mathematik Philosophie |
| doi_str_mv | 10.1007/978-94-015-9586-5 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04040nmm a2200625zcb4500</leader><controlfield tag="001">BV042424152</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150317s2000 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789401595865</subfield><subfield code="c">Online</subfield><subfield code="9">978-94-015-9586-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789048153893</subfield><subfield code="c">Print</subfield><subfield code="9">978-90-481-5389-3</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-94-015-9586-5</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)905373554</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042424152</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-703</subfield><subfield code="a">DE-91</subfield><subfield code="a">DE-634</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">MAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Barringer, Howard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in Temporal Logic</subfield><subfield code="c">edited by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht</subfield><subfield code="b">Springer Netherlands</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (IX, 453 p)</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">Applied Logic Series</subfield><subfield code="v">16</subfield><subfield code="x">1386-2790</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophy (General)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data structures (Computer science)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic data processing</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">Philosophy</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computing Methodologies</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Mathematical Logic and Foundations</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Data Structures, Cryptology and Information Theory</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Philosophie</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="8">2\p</subfield><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" 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="0" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Fisher, Michael</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gough, Graham</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-94-015-9586-5</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SMA</subfield><subfield code="a">ZDB-2-BAE</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SMA_Archive</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027859569</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content 2\p (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV042424152 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:15Z |
| institution | BVB |
| isbn | 9789401595865 9789048153893 |
| issn | 1386-2790 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027859569 |
| oclc_num | 905373554 |
| open_access_boolean | |
| owner | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| owner_facet | DE-384 DE-703 DE-91 DE-BY-TUM DE-634 |
| physical | 1 Online-Ressource (IX, 453 p) |
| psigel | ZDB-2-SMA ZDB-2-BAE ZDB-2-SMA_Archive |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Springer Netherlands |
| record_format | marc |
| series2 | Applied Logic Series |
| spelling | Barringer, Howard Verfasser aut Advances in Temporal Logic edited by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough Dordrecht Springer Netherlands 2000 1 Online-Ressource (IX, 453 p) txt rdacontent c rdamedia cr rdacarrier Applied Logic Series 16 1386-2790 Time is a fascinating subject and has long since captured mankind's imagination, from the ancients to modern man, both adult and child alike. It has been studied across a wide range of disciplines, from the natural sciences to philosophy and logic. Today, thirty plus years since Prior's work in laying out foundations for temporal logic, and two decades on from Pnueli's seminal work applying of temporal logic in specification and verification of computer programs, temporal logic has a strong and thriving international research community within the broad disciplines of computer science and artificial intelligence. Areas of activity include, but are certainly not restricted to: Pure Temporal Logic, e. g. temporal systems, proof theory, model theory, expressiveness and complexity issues, algebraic properties, application of game theory; Specification and Verification, e. g. of reactive systems, ofreal-time components, of user interaction, of hardware systems, techniques and tools for verification, execution and prototyping methods; Temporal Databases, e. g. temporal representation, temporal query ing, granularity of time, update mechanisms, active temporal data bases, hypothetical reasoning; Temporal Aspects in AI, e. g. modelling temporal phenomena, in terval temporal calculi, temporal nonmonotonicity, interaction of temporal reasoning with action/knowledge/belief logics, temporal planning; Tense and Aspect in Natural Language, e. g. models, ontologies, temporal quantifiers, connectives, prepositions, processing tempo ral statements; Temporal Theorem Proving, e. g. translation methods, clausal and non-clausal resolution, tableaux, automata-theoretic approaches, tools and practical systems Philosophy (General) Logic Data structures (Computer science) Electronic data processing Logic, Symbolic and mathematical Philosophy Computing Methodologies Mathematical Logic and Foundations Data Structures, Cryptology and Information Theory Datenverarbeitung Philosophie Temporale Logik (DE-588)4137542-7 gnd rswk-swf 1\p (DE-588)4143413-4 Aufsatzsammlung gnd-content 2\p (DE-588)1071861417 Konferenzschrift gnd-content Temporale Logik (DE-588)4137542-7 s 3\p DE-604 Fisher, Michael Sonstige oth Gabbay, Dov Sonstige oth Gough, Graham Sonstige oth https://doi.org/10.1007/978-94-015-9586-5 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Barringer, Howard Advances in Temporal Logic Philosophy (General) Logic Data structures (Computer science) Electronic data processing Logic, Symbolic and mathematical Philosophy Computing Methodologies Mathematical Logic and Foundations Data Structures, Cryptology and Information Theory Datenverarbeitung Philosophie Temporale Logik (DE-588)4137542-7 gnd |
| subject_GND | (DE-588)4137542-7 (DE-588)4143413-4 (DE-588)1071861417 |
| title | Advances in Temporal Logic |
| title_auth | Advances in Temporal Logic |
| title_exact_search | Advances in Temporal Logic |
| title_full | Advances in Temporal Logic edited by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough |
| title_fullStr | Advances in Temporal Logic edited by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough |
| title_full_unstemmed | Advances in Temporal Logic edited by Howard Barringer, Michael Fisher, Dov Gabbay, Graham Gough |
| title_short | Advances in Temporal Logic |
| title_sort | advances in temporal logic |
| topic | Philosophy (General) Logic Data structures (Computer science) Electronic data processing Logic, Symbolic and mathematical Philosophy Computing Methodologies Mathematical Logic and Foundations Data Structures, Cryptology and Information Theory Datenverarbeitung Philosophie Temporale Logik (DE-588)4137542-7 gnd |
| topic_facet | Philosophy (General) Logic Data structures (Computer science) Electronic data processing Logic, Symbolic and mathematical Philosophy Computing Methodologies Mathematical Logic and Foundations Data Structures, Cryptology and Information Theory Datenverarbeitung Philosophie Temporale Logik Aufsatzsammlung Konferenzschrift |
| url | https://doi.org/10.1007/978-94-015-9586-5 |
| work_keys_str_mv | AT barringerhoward advancesintemporallogic AT fishermichael advancesintemporallogic AT gabbaydov advancesintemporallogic AT goughgraham advancesintemporallogic |