Advances in modal logic, Volume 3:
Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and fo...
Gespeichert in:
| Format: | Elektronisch E-Book |
|---|---|
| Sprache: | English |
| Veröffentlicht: |
Singapore
World Scientific Pub. Co.
c2002
|
| Schlagworte: | |
| Online-Zugang: | FHN01 Volltext |
| Zusammenfassung: | Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic |
| Beschreibung: | viii, 415 p. ill |
| ISBN: | 9789812776471 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV044635072 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 171120s2002 |||| o||u| ||||||eng d | ||
| 020 | |a 9789812776471 |c electronic bk. |9 978-981-277-647-1 | ||
| 024 | 7 | |a 10.1142/5114 |2 doi | |
| 035 | |a (ZDB-124-WOP)00003858 | ||
| 035 | |a (OCoLC)1012624364 | ||
| 035 | |a (DE-599)BVBBV044635072 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-92 | ||
| 082 | 0 | |a 160 |2 22 | |
| 084 | |a CC 2600 |0 (DE-625)17610: |2 rvk | ||
| 084 | |a SK 130 |0 (DE-625)143216: |2 rvk | ||
| 245 | 1 | 0 | |a Advances in modal logic, Volume 3 |c editors, Frank Wolter ... [et al.] |
| 264 | 1 | |a Singapore |b World Scientific Pub. Co. |c c2002 | |
| 300 | |a viii, 415 p. |b ill | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic | ||
| 650 | 4 | |a Modality (Logic) / Congresses | |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 700 | 1 | |a Wolter, Frank |e Sonstige |4 oth | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9789812381798 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9812381791 |
| 856 | 4 | 0 | |u http://www.worldscientific.com/worldscibooks/10.1142/5114#t=toc |x Verlag |z URL des Erstveroeffentlichers |3 Volltext |
| 912 | |a ZDB-124-WOP | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030033044 | ||
| 966 | e | |u http://www.worldscientific.com/worldscibooks/10.1142/5114#t=toc |l FHN01 |p ZDB-124-WOP |q FHN_PDA_WOP |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804178047606194176 |
|---|---|
| any_adam_object | |
| building | Verbundindex |
| bvnumber | BV044635072 |
| classification_rvk | CC 2600 SK 130 |
| collection | ZDB-124-WOP |
| ctrlnum | (ZDB-124-WOP)00003858 (OCoLC)1012624364 (DE-599)BVBBV044635072 |
| 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 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02274nmm a2200409zc 4500</leader><controlfield tag="001">BV044635072</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">171120s2002 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789812776471</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-981-277-647-1</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1142/5114</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-124-WOP)00003858</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1012624364</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044635072</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-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">160</subfield><subfield code="2">22</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CC 2600</subfield><subfield code="0">(DE-625)17610:</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="245" ind1="1" ind2="0"><subfield code="a">Advances in modal logic, Volume 3</subfield><subfield code="c">editors, Frank Wolter ... [et al.]</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">World Scientific Pub. Co.</subfield><subfield code="c">c2002</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">viii, 415 p.</subfield><subfield code="b">ill</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="520" ind1=" " ind2=" "><subfield code="a">Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Modality (Logic) / Congresses</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="700" ind1="1" ind2=" "><subfield code="a">Wolter, Frank</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</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">9789812381798</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">9812381791</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/5114#t=toc</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveroeffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-124-WOP</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030033044</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">http://www.worldscientific.com/worldscibooks/10.1142/5114#t=toc</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-124-WOP</subfield><subfield code="q">FHN_PDA_WOP</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044635072 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:57:46Z |
| institution | BVB |
| isbn | 9789812776471 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030033044 |
| oclc_num | 1012624364 |
| open_access_boolean | |
| owner | DE-92 |
| owner_facet | DE-92 |
| physical | viii, 415 p. ill |
| psigel | ZDB-124-WOP ZDB-124-WOP FHN_PDA_WOP |
| publishDate | 2002 |
| publishDateSearch | 2002 |
| publishDateSort | 2002 |
| publisher | World Scientific Pub. Co. |
| record_format | marc |
| spelling | Advances in modal logic, Volume 3 editors, Frank Wolter ... [et al.] Singapore World Scientific Pub. Co. c2002 viii, 415 p. ill txt rdacontent c rdamedia cr rdacarrier Advances in Modal Logic is a unique forum for presenting the latest results and new directions of research in modal logic. The topics dealt with are of interdisciplinary interest and range from mathematical, computational, and philosophical problems to applications in knowledge representation and formal linguistics. Volume 3 presents substantial advances in the relational model theory and the algorithmic treatment of modal logics. It contains invited and contributed papers from the third conference on "Advances in Modal Logic", held at the University of Leipzig (Germany) in October 2000. It includes papers on dynamic logic, description logic, hybrid logic, epistemic logic, combinations of modal logics, tense logic, action logic, provability logic, and modal predicate logic Modality (Logic) / Congresses (DE-588)1071861417 Konferenzschrift gnd-content Wolter, Frank Sonstige oth Erscheint auch als Druck-Ausgabe 9789812381798 Erscheint auch als Druck-Ausgabe 9812381791 http://www.worldscientific.com/worldscibooks/10.1142/5114#t=toc Verlag URL des Erstveroeffentlichers Volltext |
| spellingShingle | Advances in modal logic, Volume 3 Modality (Logic) / Congresses |
| subject_GND | (DE-588)1071861417 |
| title | Advances in modal logic, Volume 3 |
| title_auth | Advances in modal logic, Volume 3 |
| title_exact_search | Advances in modal logic, Volume 3 |
| title_full | Advances in modal logic, Volume 3 editors, Frank Wolter ... [et al.] |
| title_fullStr | Advances in modal logic, Volume 3 editors, Frank Wolter ... [et al.] |
| title_full_unstemmed | Advances in modal logic, Volume 3 editors, Frank Wolter ... [et al.] |
| title_short | Advances in modal logic, Volume 3 |
| title_sort | advances in modal logic volume 3 |
| topic | Modality (Logic) / Congresses |
| topic_facet | Modality (Logic) / Congresses Konferenzschrift |
| url | http://www.worldscientific.com/worldscibooks/10.1142/5114#t=toc |
| work_keys_str_mv | AT wolterfrank advancesinmodallogicvolume3 |