Logic and bisimulation: = Logica en bisimulatie
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Utrecht
Zeno Inst. for Philosophy
1998
|
| Schriftenreihe: | Quaestiones infinitae
24 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: Utrecht, Univ., Diss., 1998. - Zs.fassung in niederländ. Sprache |
| Beschreibung: | IV, 179 S. graph. Darst. |
| ISBN: | 9039315655 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV011843287 | ||
| 003 | DE-604 | ||
| 005 | 19980909 | ||
| 007 | t | ||
| 008 | 980320s1998 d||| m||| 00||| eng d | ||
| 020 | |a 9039315655 |9 90-393-1565-5 | ||
| 035 | |a (OCoLC)67466686 | ||
| 035 | |a (DE-599)BVBBV011843287 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-19 |a DE-384 |a DE-12 |a DE-29 |a DE-739 | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 100 | 1 | |a Hollenberg, Marco J. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Logic and bisimulation |b = Logica en bisimulatie |c door Marcus Johannes Hollenberg |
| 246 | 1 | 1 | |a Logica en bisimulatie |
| 264 | 1 | |a Utrecht |b Zeno Inst. for Philosophy |c 1998 | |
| 300 | |a IV, 179 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Quaestiones infinitae |v 24 | |
| 500 | |a Zugl.: Utrecht, Univ., Diss., 1998. - Zs.fassung in niederländ. Sprache | ||
| 650 | 7 | |a Informatica |2 gtt | |
| 650 | 7 | |a Modale logica |2 gtt | |
| 650 | 7 | |a Wiskundige logica |2 gtt | |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 0 | |5 DE-604 | |
| 830 | 0 | |a Quaestiones infinitae |v 24 |w (DE-604)BV004704200 |9 24 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007998693&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-007998693 | ||
Datensatz im Suchindex
| _version_ | 1804126386504335361 |
|---|---|
| adam_text | Titel: Logic and bisimulation
Autor: Hollenberg, Marco
Jahr: 1998
Contents
Acknowledgements i
Contents iii
1 Introduction 1
2 Invariance and safety in first-order logic 7
2.1 Introduction.............................. 7
2.2 Preliminaries............................. 8
2.2.1 Signatures and models.................... 8
2.2.2 First-order logic ....................... 9
2.2.3 Modal logic.......................... 10
2.2.4 Bisimulation ......................... 11
2.3 Invariance via w-saturation..................... 14
2.4 A generalization to first-order modalities.............. 19
2.4.1 First-order modalities.................... 19
2.4.2 The invariance theorem................... 22
2.5 Invariance via unraveling ...................... 24
2.5.1 Unraveling and K-expansions................ 24
2.5.2 First-order logic on w-expanded structures......... 25
2.6 Safety for bisimulation........................ 32
2.7 Another generalization: (n, m)-safety................ 38
2.7.1 Safe fragments........................ 42
2.7.2 Modal saturation and unraveling.............. 45
2.7.3 Descriptions.......................... 48
2.7.4 Characterizing (n,m)-sa£ety................. 51
2.8 Concluding remarks......................... 57
3 Safety and invariance in monadic second-order logic 59
3.1 MSO and the ^-caleuïus....................... 60
3.1.1 MSO.............................. 60
3.1.2 The modal ^-calculus.................... 62
3.2 /i-automata.............................. 66
3.2.1 Définition of/i-automata and acceptance ......... 66
iv________________________________________________CONTENTS
3.2.2 Examples........................... 68
3.3 Invariance for bisimulation...................... 70
3.4 Bisimulation-quantifiers....................... 74
3.5 Safety for bisimulation........................ 79
3.5.1 Bisimulation-safety for first-order logic, revisited..... 79
3.5.2 Bisimulation-safe MSO.................... 83
3.6 Concluding remarks......................... 91
4 First-Order Deflnable Process Opérations 95
4.1 Introduction.............................. 95
4.2 Process opérations.......................... 96
4.2.1 Process compositions..................... 97
4.2.2 Processes as terms...................... 100
4.2.3 First-order definable process opérations.......... 102
4.2.4 Processes as séquences.................... 105
4.3 Respect for bisimulation....................... 108
4.4 Invariant and safe fragments..................... 112
4.4.1 Définition of the fragments................. 112
4.4.2 Invariance and safety..................... 115
4.4.3 Examples........................... 116
4.5 The characterization proof...................... 119
4.5.1 Translating away séquences................. 120
4.5.2 Réduction to PROG(ïlim) .................. 123
4.5.3 Translating PROG(ll m) into SPROG............ 127
4.6 Modal preconditions......................... 130
4.7 Concluding remarks......................... 136
5 Hennessy-Milner Classes 137
5.1 Introduction.............................. 137
5.2 A landscape of properties...................... 138
5.3 Hennessy-Milner classes....................... 143
5.4 Uncountably many maximal Hennessy-
Milner classes............................. 148
5.5 The intersection: finite branching.................. 152
5.6 Hennessy-Milner generators..................... 154
5.7 Préservation of saturation...................... 157
5.8 Concluding remarks......................... 162
Biblîography 163
Index 170
Samenvatting (Summary in Dutch) 177
Curriculum Vitae 179
|
| any_adam_object | 1 |
| author | Hollenberg, Marco J. |
| author_facet | Hollenberg, Marco J. |
| author_role | aut |
| author_sort | Hollenberg, Marco J. |
| author_variant | m j h mj mjh |
| building | Verbundindex |
| bvnumber | BV011843287 |
| classification_rvk | SK 130 |
| ctrlnum | (OCoLC)67466686 (DE-599)BVBBV011843287 |
| discipline | Mathematik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01610nam a2200409 cb4500</leader><controlfield tag="001">BV011843287</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19980909 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">980320s1998 d||| m||| 00||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9039315655</subfield><subfield code="9">90-393-1565-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)67466686</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011843287</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-19</subfield><subfield code="a">DE-384</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-29</subfield><subfield code="a">DE-739</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="100" ind1="1" ind2=" "><subfield code="a">Hollenberg, Marco J.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Logic and bisimulation</subfield><subfield code="b">= Logica en bisimulatie</subfield><subfield code="c">door Marcus Johannes Hollenberg</subfield></datafield><datafield tag="246" ind1="1" ind2="1"><subfield code="a">Logica en bisimulatie</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Utrecht</subfield><subfield code="b">Zeno Inst. for Philosophy</subfield><subfield code="c">1998</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IV, 179 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">Quaestiones infinitae</subfield><subfield code="v">24</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Utrecht, Univ., Diss., 1998. - Zs.fassung in niederländ. Sprache</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Informatica</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">Wiskundige logica</subfield><subfield code="2">gtt</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="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</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="830" ind1=" " ind2="0"><subfield code="a">Quaestiones infinitae</subfield><subfield code="v">24</subfield><subfield code="w">(DE-604)BV004704200</subfield><subfield code="9">24</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ 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=007998693&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-007998693</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011843287 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:16:38Z |
| institution | BVB |
| isbn | 9039315655 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007998693 |
| oclc_num | 67466686 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-384 DE-12 DE-29 DE-739 |
| owner_facet | DE-19 DE-BY-UBM DE-384 DE-12 DE-29 DE-739 |
| physical | IV, 179 S. graph. Darst. |
| publishDate | 1998 |
| publishDateSearch | 1998 |
| publishDateSort | 1998 |
| publisher | Zeno Inst. for Philosophy |
| record_format | marc |
| series | Quaestiones infinitae |
| series2 | Quaestiones infinitae |
| spelling | Hollenberg, Marco J. Verfasser aut Logic and bisimulation = Logica en bisimulatie door Marcus Johannes Hollenberg Logica en bisimulatie Utrecht Zeno Inst. for Philosophy 1998 IV, 179 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Quaestiones infinitae 24 Zugl.: Utrecht, Univ., Diss., 1998. - Zs.fassung in niederländ. Sprache Informatica gtt Modale logica gtt Wiskundige logica gtt Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Modallogik (DE-588)4074914-9 s DE-604 Quaestiones infinitae 24 (DE-604)BV004704200 24 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007998693&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Hollenberg, Marco J. Logic and bisimulation = Logica en bisimulatie Quaestiones infinitae Informatica gtt Modale logica gtt Wiskundige logica gtt Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4074914-9 (DE-588)4113937-9 |
| title | Logic and bisimulation = Logica en bisimulatie |
| title_alt | Logica en bisimulatie |
| title_auth | Logic and bisimulation = Logica en bisimulatie |
| title_exact_search | Logic and bisimulation = Logica en bisimulatie |
| title_full | Logic and bisimulation = Logica en bisimulatie door Marcus Johannes Hollenberg |
| title_fullStr | Logic and bisimulation = Logica en bisimulatie door Marcus Johannes Hollenberg |
| title_full_unstemmed | Logic and bisimulation = Logica en bisimulatie door Marcus Johannes Hollenberg |
| title_short | Logic and bisimulation |
| title_sort | logic and bisimulation logica en bisimulatie |
| title_sub | = Logica en bisimulatie |
| topic | Informatica gtt Modale logica gtt Wiskundige logica gtt Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Informatica Modale logica Wiskundige logica Modallogik Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007998693&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV004704200 |
| work_keys_str_mv | AT hollenbergmarcoj logicandbisimulationlogicaenbisimulatie AT hollenbergmarcoj logicaenbisimulatie |