Advances in temporal logic:
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Dordrecht [u.a.]
Kluwer Academic
2000
|
| Schriftenreihe: | Applied logic series
16 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | IX, 453 S. graph. Darst. |
| ISBN: | 0792361490 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV013335758 | ||
| 003 | DE-604 | ||
| 005 | 20010321 | ||
| 007 | t | ||
| 008 | 000911s2000 d||| |||| 00||| eng d | ||
| 020 | |a 0792361490 |9 0-7923-6149-0 | ||
| 035 | |a (OCoLC)42960608 | ||
| 035 | |a (DE-599)BVBBV013335758 | ||
| 040 | |a DE-604 |b ger |e rakwb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-739 |a DE-29 |a DE-11 |a DE-188 | ||
| 050 | 0 | |a QA76.9.L63 | |
| 082 | 0 | |a 005.1/01/5113 |2 21 | |
| 084 | |a CC 2500 |0 (DE-625)17609: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 084 | |a 5,1 |2 ssgn | ||
| 245 | 1 | 0 | |a Advances in temporal logic |c ed. by Howard Barringer ... |
| 264 | 1 | |a Dordrecht [u.a.] |b Kluwer Academic |c 2000 | |
| 300 | |a IX, 453 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Applied logic series |v 16 | |
| 650 | 7 | |a Informatietechnologie |2 gtt | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 7 | |a Temporele logica |2 gtt | |
| 650 | 7 | |a Tijd |2 gtt | |
| 650 | 4 | |a Computer logic |v Congresses | |
| 650 | 4 | |a Temporal databases |v Congresses | |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Barringer, Howard |e Sonstige |4 oth | |
| 830 | 0 | |a Applied logic series |v 16 |w (DE-604)BV011076498 |9 16 | |
| 856 | 4 | 2 | |m HEBIS Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009094048&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-009094048 | ||
Datensatz im Suchindex
| _version_ | 1804128109598867456 |
|---|---|
| adam_text | Advances in
Temporal Logic
edited by
HOWARD BARRINGER
University of Manchester, United Kingdom
MICHAEL FISHER
Manchester Metropolitan University, United Kingdom
DOV GABBAY
King s College London, United Kingdom
and
GRAHAM GOUGH
University of Manchester, United Kingdom
KLUWER ACADEMIC PUBLISHERS
DORDRECHT / BOSTON / LONDON
Contents
Preface vii
A Hierarchy of Modal Event Calculi: Expressiveness and
Complexity
Iliano Cervesato, Massimo Pranceschet and Angelo Montanari 1
Release Logics for Temporalizing Dynamic Logic
Jeroen Krabbendam and John-Jules Meyer 21
Compositional Verification of Timed Statecharts
Prancesca Levi 47
Temporal Logic for Stabilizing Systems
Yassine Lakhnech and Michael Siegel 71
Decidable Theories of w-Layered Metric Temporal Structures
Angelo Montanari, Adriano Peron and Alberto Policriti 91
Synthesis with Incomplete Informatio
Orna Kupferman and Moshe Vardi 109
Deductive Verification of Parameterized Fault-Tolerant Sys-
tems: A Case Study
Nikolaj S Bj0rner, Uri Lerner and Zohar Manna 129
Using Otter for Temporal Resolution
Clare Dixon 149
Guiding Clausal Temporal Resolution
Michael Fisher and Clare Dixon 167
Determinism and the Origins of Temporal Logic
Torben Brauner, Per Hasle and Peter 0hstr0m 185
Modelling Linguistic Events
Miguel Leith and Jim Cunningham 207
A Dynamic Temporal Logic for Aspectual Phenomena in
Natural Language
Ralf Naumann 223
A Decidable Temporal Logic for Temporal Propositions
Ian Pratt and Nissim Prancez 255
VI
Transitions in Continuous Time, with an Application to
Qualitative Changes in Spatial Relations
Antony Galton 279
A Modal Logic of Durative Actions
Isabel Nunes, Jose Luiz Fiadeiro and Wladyslaw M Turski 299
About Real Time, Calendar Systems and Temporal Notions
Hans Jiirgen Ohlbach 319
A Model Checking Algorithm for 7r-Calculus Agents
Stefania Gnesi- and Gioia Ristori 339
Interleaving Model and Verification of Distributed Proba-
bilistic Real-Time Systems
Tiegeng Luo, Huowang Chen, Bingshan Wang, Ji Wang, Zhichang Qi
and Zhenghu Gong 359
Constructive Interval Temporal Logic in Alf
Simon Thompson 377
Two-dimensional Executable Temporal Logic for Bitemporal
Databases
Marcelo Finger and Mark Reynolds 393
Execution and Proof in a Horn-Clause Temporal Logic
Clare Dixon, Michael Fisher and Mark Reynolds 413
Specification and Prototyping of Structured Multimedia
Documents using Interval Temporal Logic
Howard Bowman, Helen Cameron, Peter King
and Simon Thompson 435
|
| any_adam_object | 1 |
| building | Verbundindex |
| bvnumber | BV013335758 |
| callnumber-first | Q - Science |
| callnumber-label | QA76 |
| callnumber-raw | QA76.9.L63 |
| callnumber-search | QA76.9.L63 |
| callnumber-sort | QA 276.9 L63 |
| callnumber-subject | QA - Mathematics |
| classification_rvk | CC 2500 SK 130 |
| ctrlnum | (OCoLC)42960608 (DE-599)BVBBV013335758 |
| dewey-full | 005.1/01/5113 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.1/01/5113 |
| dewey-search | 005.1/01/5113 |
| dewey-sort | 15.1 11 45113 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Mathematik Philosophie |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01777nam a2200481 cb4500</leader><controlfield tag="001">BV013335758</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20010321 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">000911s2000 d||| |||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0792361490</subfield><subfield code="9">0-7923-6149-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)42960608</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV013335758</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakwb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-739</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-188</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">QA76.9.L63</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.1/01/5113</subfield><subfield code="2">21</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">5,1</subfield><subfield code="2">ssgn</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Advances in temporal logic</subfield><subfield code="c">ed. by Howard Barringer ...</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Dordrecht [u.a.]</subfield><subfield code="b">Kluwer Academic</subfield><subfield code="c">2000</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 453 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="1" ind2=" "><subfield code="a">Applied logic series</subfield><subfield code="v">16</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatietechnologie</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="7"><subfield code="a">Temporele logica</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Tijd</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer logic</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Temporal databases</subfield><subfield code="v">Congresses</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="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="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="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Barringer, Howard</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Applied logic series</subfield><subfield code="v">16</subfield><subfield code="w">(DE-604)BV011076498</subfield><subfield code="9">16</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HEBIS 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=009094048&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-009094048</subfield></datafield></record></collection> |
| genre | (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Aufsatzsammlung Konferenzschrift |
| id | DE-604.BV013335758 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:44:01Z |
| institution | BVB |
| isbn | 0792361490 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-009094048 |
| oclc_num | 42960608 |
| open_access_boolean | |
| owner | DE-739 DE-29 DE-11 DE-188 |
| owner_facet | DE-739 DE-29 DE-11 DE-188 |
| physical | IX, 453 S. graph. Darst. |
| publishDate | 2000 |
| publishDateSearch | 2000 |
| publishDateSort | 2000 |
| publisher | Kluwer Academic |
| record_format | marc |
| series | Applied logic series |
| series2 | Applied logic series |
| spelling | Advances in temporal logic ed. by Howard Barringer ... Dordrecht [u.a.] Kluwer Academic 2000 IX, 453 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Applied logic series 16 Informatietechnologie gtt Modale logica gtt Temporele logica gtt Tijd gtt Computer logic Congresses Temporal databases Congresses Temporale Logik (DE-588)4137542-7 gnd rswk-swf (DE-588)4143413-4 Aufsatzsammlung gnd-content (DE-588)1071861417 Konferenzschrift gnd-content Temporale Logik (DE-588)4137542-7 s DE-604 Barringer, Howard Sonstige oth Applied logic series 16 (DE-604)BV011076498 16 HEBIS Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009094048&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Advances in temporal logic Applied logic series Informatietechnologie gtt Modale logica gtt Temporele logica gtt Tijd gtt Computer logic Congresses Temporal databases Congresses 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 ed. by Howard Barringer ... |
| title_fullStr | Advances in temporal logic ed. by Howard Barringer ... |
| title_full_unstemmed | Advances in temporal logic ed. by Howard Barringer ... |
| title_short | Advances in temporal logic |
| title_sort | advances in temporal logic |
| topic | Informatietechnologie gtt Modale logica gtt Temporele logica gtt Tijd gtt Computer logic Congresses Temporal databases Congresses Temporale Logik (DE-588)4137542-7 gnd |
| topic_facet | Informatietechnologie Modale logica Temporele logica Tijd Computer logic Congresses Temporal databases Congresses Temporale Logik Aufsatzsammlung Konferenzschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=009094048&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV011076498 |
| work_keys_str_mv | AT barringerhoward advancesintemporallogic |