Bounded variable logics and counting: a study in finite models
Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture N...
Gespeichert in:
| Beteilige Person: | |
|---|---|
| Format: | E-Book |
| Sprache: | Englisch |
| Veröffentlicht: |
Cambridge
Cambridge University Press
2016
|
| Schriftenreihe: | Lecture notes in logic
9 |
| Links: | https://doi.org/10.1017/9781316716878 |
| Zusammenfassung: | Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory. |
| Umfang: | 1 Online-Ressource (ix, 183 Seiten) |
| ISBN: | 9781316716878 |
Internformat
MARC
| LEADER | 00000nam a2200000 i 4500 | ||
|---|---|---|---|
| 001 | ZDB-20-CTM-CR9781316716878 | ||
| 003 | UkCbUP | ||
| 005 | 20170420154658.0 | ||
| 006 | m|||||o||d|||||||| | ||
| 007 | cr|||||||||||| | ||
| 008 | 160211s2016||||enk o ||1 0|eng|d | ||
| 020 | |a 9781316716878 | ||
| 100 | 1 | |a Otto, Martin |d 1961- | |
| 245 | 1 | 0 | |a Bounded variable logics and counting |b a study in finite models |c Martin Otto |
| 264 | 1 | |a Cambridge |b Cambridge University Press |c 2016 | |
| 300 | |a 1 Online-Ressource (ix, 183 Seiten) | ||
| 336 | |b txt | ||
| 337 | |b c | ||
| 338 | |b cr | ||
| 490 | 1 | |a Lecture notes in logic |v 9 | |
| 520 | |a Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory. | ||
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781107167940 |
| 966 | 4 | 0 | |l DE-91 |p ZDB-20-CTM |q TUM_PDA_CTM |u https://doi.org/10.1017/9781316716878 |3 Volltext |
| 912 | |a ZDB-20-CTM | ||
| 912 | |a ZDB-20-CTM | ||
| 049 | |a DE-91 | ||
Datensatz im Suchindex
| DE-BY-TUM_katkey | ZDB-20-CTM-CR9781316716878 |
|---|---|
| _version_ | 1825574048201965569 |
| adam_text | |
| any_adam_object | |
| author | Otto, Martin 1961- |
| author_facet | Otto, Martin 1961- |
| author_role | |
| author_sort | Otto, Martin 1961- |
| author_variant | m o mo |
| building | Verbundindex |
| bvnumber | localTUM |
| collection | ZDB-20-CTM |
| format | eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01542nam a2200253 i 4500</leader><controlfield tag="001">ZDB-20-CTM-CR9781316716878</controlfield><controlfield tag="003">UkCbUP</controlfield><controlfield tag="005">20170420154658.0</controlfield><controlfield tag="006">m|||||o||d||||||||</controlfield><controlfield tag="007">cr||||||||||||</controlfield><controlfield tag="008">160211s2016||||enk o ||1 0|eng|d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781316716878</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Otto, Martin</subfield><subfield code="d">1961-</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Bounded variable logics and counting</subfield><subfield code="b">a study in finite models</subfield><subfield code="c">Martin Otto</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Cambridge</subfield><subfield code="b">Cambridge University Press</subfield><subfield code="c">2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (ix, 183 Seiten)</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">c</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Lecture notes in logic</subfield><subfield code="v">9</subfield></datafield><datafield tag="520" ind1=" " ind2=" "><subfield code="a">Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory.</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">9781107167940</subfield></datafield><datafield tag="966" ind1="4" ind2="0"><subfield code="l">DE-91</subfield><subfield code="p">ZDB-20-CTM</subfield><subfield code="q">TUM_PDA_CTM</subfield><subfield code="u">https://doi.org/10.1017/9781316716878</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-20-CTM</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield></datafield></record></collection> |
| id | ZDB-20-CTM-CR9781316716878 |
| illustrated | Not Illustrated |
| indexdate | 2025-03-03T11:58:02Z |
| institution | BVB |
| isbn | 9781316716878 |
| language | English |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM |
| owner_facet | DE-91 DE-BY-TUM |
| physical | 1 Online-Ressource (ix, 183 Seiten) |
| psigel | ZDB-20-CTM TUM_PDA_CTM ZDB-20-CTM |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Cambridge University Press |
| record_format | marc |
| series2 | Lecture notes in logic |
| spelling | Otto, Martin 1961- Bounded variable logics and counting a study in finite models Martin Otto Cambridge Cambridge University Press 2016 1 Online-Ressource (ix, 183 Seiten) txt c cr Lecture notes in logic 9 Since their inception, the Perspectives in Logic and Lecture Notes in Logic series have published seminal works by leading logicians. Many of the original books in the series have been unavailable for years, but they are now in print once again. In this volume, the ninth publication in the Lecture Notes in Logic series, Martin Otto gives an introduction to finite model theory that indicates the main ideas and lines of inquiry that motivate research in this area. Particular attention is paid to bounded variable infinitary logics, with and without counting quantifiers, related fixed-point logics, and the corresponding fragments of Ptime. The relations with Ptime exhibit the fruitful exchange between ideas from logic and from complexity theory that is characteristic of finite model theory. Erscheint auch als Druck-Ausgabe 9781107167940 |
| spellingShingle | Otto, Martin 1961- Bounded variable logics and counting a study in finite models |
| title | Bounded variable logics and counting a study in finite models |
| title_auth | Bounded variable logics and counting a study in finite models |
| title_exact_search | Bounded variable logics and counting a study in finite models |
| title_full | Bounded variable logics and counting a study in finite models Martin Otto |
| title_fullStr | Bounded variable logics and counting a study in finite models Martin Otto |
| title_full_unstemmed | Bounded variable logics and counting a study in finite models Martin Otto |
| title_short | Bounded variable logics and counting |
| title_sort | bounded variable logics and counting a study in finite models |
| title_sub | a study in finite models |
| work_keys_str_mv | AT ottomartin boundedvariablelogicsandcountingastudyinfinitemodels |