Temporal logic: mathematical foundations
Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the i...
Saved in:
| Main Author: | |
|---|---|
| Format: | Book |
| Language: | English |
| Published: |
Saarbrücken
1992
|
| Series: | Max-Planck-Institut für Informatik <Saarbrücken>: MPI I
92,213 |
| Subjects: | |
| Summary: | Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the issues which will be covered in the rest of the whole book. These include expressive power, fixed point temporal languages and applications in computing. Chapter 2 develops the basic idea of a language built from connectives whose semantics is appropriate to some class of underlying 'models' of time: for example linear or branching time. Chapter 3 introduces Hilbert style axiomatizations of such logics and contains some simple completeness proofs The incomplete chapter 4 considers the generally incomplete predicate temporal languages and gives examples of some of the variety of choices of language here. In Chapter 5 we debate the merits of using classical first order logic to talk about temporal structures from the 'outside' instead of using temporal languages 'inside' the structure. We also consider the possibility of using temporal logic itself as a metalanguage. Finally, in chapter 6 we present a general theory of axiomatization of temporal logics. This examines and uses the irreflexivity rule of Gabbay to provide very general techniques. |
| Physical Description: | 166 S. |
Staff View
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV009033746 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | t | ||
| 008 | 940227s1992 |||| 00||| eng d | ||
| 035 | |a (OCoLC)29779135 | ||
| 035 | |a (DE-599)BVBBV009033746 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-29T | ||
| 100 | 1 | |a Gabbay, Dov M. |d 1945- |e Verfasser |0 (DE-588)124196314 |4 aut | |
| 245 | 1 | 0 | |a Temporal logic |b mathematical foundations |c Dov M. Gabbay |
| 264 | 1 | |a Saarbrücken |c 1992 | |
| 300 | |a 166 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Max-Planck-Institut für Informatik <Saarbrücken>: MPI I |v 92,213 | |
| 520 | 3 | |a Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the issues which will be covered in the rest of the whole book. These include expressive power, fixed point temporal languages and applications in computing. Chapter 2 develops the basic idea of a language built from connectives whose semantics is appropriate to some class of underlying 'models' of time: for example linear or branching time. Chapter 3 introduces Hilbert style axiomatizations of such logics and contains some simple completeness proofs | |
| 520 | 3 | |a The incomplete chapter 4 considers the generally incomplete predicate temporal languages and gives examples of some of the variety of choices of language here. In Chapter 5 we debate the merits of using classical first order logic to talk about temporal structures from the 'outside' instead of using temporal languages 'inside' the structure. We also consider the possibility of using temporal logic itself as a metalanguage. Finally, in chapter 6 we present a general theory of axiomatization of temporal logics. This examines and uses the irreflexivity rule of Gabbay to provide very general techniques. | |
| 650 | 4 | |a Logic, Symbolic and mathematical | |
| 830 | 0 | |a Max-Planck-Institut für Informatik <Saarbrücken>: MPI I |v 92,213 |w (DE-604)BV008908578 |9 92,213 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-005976552 | ||
Record in the Search Index
| _version_ | 1804123387205779456 |
|---|---|
| any_adam_object | |
| author | Gabbay, Dov M. 1945- |
| author_GND | (DE-588)124196314 |
| author_facet | Gabbay, Dov M. 1945- |
| author_role | aut |
| author_sort | Gabbay, Dov M. 1945- |
| author_variant | d m g dm dmg |
| building | Verbundindex |
| bvnumber | BV009033746 |
| ctrlnum | (OCoLC)29779135 (DE-599)BVBBV009033746 |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02288nam a2200301 cb4500</leader><controlfield tag="001">BV009033746</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940227s1992 |||| 00||| eng d</controlfield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)29779135</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV009033746</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="049" ind1=" " ind2=" "><subfield code="a">DE-29T</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Gabbay, Dov M.</subfield><subfield code="d">1945-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)124196314</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Temporal logic</subfield><subfield code="b">mathematical foundations</subfield><subfield code="c">Dov M. Gabbay</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Saarbrücken</subfield><subfield code="c">1992</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">166 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">Max-Planck-Institut für Informatik <Saarbrücken>: MPI I</subfield><subfield code="v">92,213</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the issues which will be covered in the rest of the whole book. These include expressive power, fixed point temporal languages and applications in computing. Chapter 2 develops the basic idea of a language built from connectives whose semantics is appropriate to some class of underlying 'models' of time: for example linear or branching time. Chapter 3 introduces Hilbert style axiomatizations of such logics and contains some simple completeness proofs</subfield></datafield><datafield tag="520" ind1="3" ind2=" "><subfield code="a">The incomplete chapter 4 considers the generally incomplete predicate temporal languages and gives examples of some of the variety of choices of language here. In Chapter 5 we debate the merits of using classical first order logic to talk about temporal structures from the 'outside' instead of using temporal languages 'inside' the structure. We also consider the possibility of using temporal logic itself as a metalanguage. Finally, in chapter 6 we present a general theory of axiomatization of temporal logics. This examines and uses the irreflexivity rule of Gabbay to provide very general techniques.</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Logic, Symbolic and mathematical</subfield></datafield><datafield tag="830" ind1=" " ind2="0"><subfield code="a">Max-Planck-Institut für Informatik <Saarbrücken>: MPI I</subfield><subfield code="v">92,213</subfield><subfield code="w">(DE-604)BV008908578</subfield><subfield code="9">92,213</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-005976552</subfield></datafield></record></collection> |
| id | DE-604.BV009033746 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-09T17:28:57Z |
| institution | BVB |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005976552 |
| oclc_num | 29779135 |
| open_access_boolean | |
| owner | DE-29T |
| owner_facet | DE-29T |
| physical | 166 S. |
| publishDate | 1992 |
| publishDateSearch | 1992 |
| publishDateSort | 1992 |
| record_format | marc |
| series | Max-Planck-Institut für Informatik <Saarbrücken>: MPI I |
| series2 | Max-Planck-Institut für Informatik <Saarbrücken>: MPI I |
| spelling | Gabbay, Dov M. 1945- Verfasser (DE-588)124196314 aut Temporal logic mathematical foundations Dov M. Gabbay Saarbrücken 1992 166 S. txt rdacontent n rdamedia nc rdacarrier Max-Planck-Institut für Informatik <Saarbrücken>: MPI I 92,213 Abstract: "The following is a draft version of the first six chapters of a book which is attempting to supply a comprehensive coverage of the mathematical and computational aspects of temporal logic. The first chapter introduces temporal logic and gives a fairly detatiled [sic] preview of the issues which will be covered in the rest of the whole book. These include expressive power, fixed point temporal languages and applications in computing. Chapter 2 develops the basic idea of a language built from connectives whose semantics is appropriate to some class of underlying 'models' of time: for example linear or branching time. Chapter 3 introduces Hilbert style axiomatizations of such logics and contains some simple completeness proofs The incomplete chapter 4 considers the generally incomplete predicate temporal languages and gives examples of some of the variety of choices of language here. In Chapter 5 we debate the merits of using classical first order logic to talk about temporal structures from the 'outside' instead of using temporal languages 'inside' the structure. We also consider the possibility of using temporal logic itself as a metalanguage. Finally, in chapter 6 we present a general theory of axiomatization of temporal logics. This examines and uses the irreflexivity rule of Gabbay to provide very general techniques. Logic, Symbolic and mathematical Max-Planck-Institut für Informatik <Saarbrücken>: MPI I 92,213 (DE-604)BV008908578 92,213 |
| spellingShingle | Gabbay, Dov M. 1945- Temporal logic mathematical foundations Max-Planck-Institut für Informatik <Saarbrücken>: MPI I Logic, Symbolic and mathematical |
| title | Temporal logic mathematical foundations |
| title_auth | Temporal logic mathematical foundations |
| title_exact_search | Temporal logic mathematical foundations |
| title_full | Temporal logic mathematical foundations Dov M. Gabbay |
| title_fullStr | Temporal logic mathematical foundations Dov M. Gabbay |
| title_full_unstemmed | Temporal logic mathematical foundations Dov M. Gabbay |
| title_short | Temporal logic |
| title_sort | temporal logic mathematical foundations |
| title_sub | mathematical foundations |
| topic | Logic, Symbolic and mathematical |
| topic_facet | Logic, Symbolic and mathematical |
| volume_link | (DE-604)BV008908578 |
| work_keys_str_mv | AT gabbaydovm temporallogicmathematicalfoundations |