Knowledge, proof and dynamics: The Fourth Asian Workshop on Philosophical Logic
Gespeichert in:
| Körperschaft: | |
|---|---|
| Weitere Verfasser: | |
| Format: | Tagungsbericht Buch |
| Sprache: | English |
| Veröffentlicht: |
Singapore
Springer
[2020]
|
| Schriftenreihe: | Logic in Asia: Studia Logica Library
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | vii, 217 Seiten Illustrationen, Diagramme |
| ISBN: | 9789811522208 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV046711904 | ||
| 003 | DE-604 | ||
| 005 | 20200618 | ||
| 007 | t | ||
| 008 | 200508s2020 a||| |||| 10||| eng d | ||
| 020 | |a 9789811522208 |c hardback |9 978-981-152220-8 | ||
| 035 | |a (OCoLC)1164612837 | ||
| 035 | |a (DE-599)BVBBV046711904 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-12 | ||
| 111 | 2 | |a Asian Workshop on Philosophical Logic |n 4. |d 2018 |c Peking |j Verfasser |0 (DE-588)1212038967 |4 aut | |
| 245 | 1 | 0 | |a Knowledge, proof and dynamics |b The Fourth Asian Workshop on Philosophical Logic |c Fenrong Liu, Hiroakira Ono, Junhua Yu, editors |
| 264 | 1 | |a Singapore |b Springer |c [2020] | |
| 264 | 4 | |c © 2020 | |
| 300 | |a vii, 217 Seiten |b Illustrationen, Diagramme | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Logic in Asia: Studia Logica Library | |
| 650 | 0 | 7 | |a Logik |0 (DE-588)4036202-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modallogik |0 (DE-588)4074914-9 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |y 20.10.2018-21.10.2018 |z Beijing |2 gnd-content | |
| 689 | 0 | 0 | |a Logik |0 (DE-588)4036202-4 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Modallogik |0 (DE-588)4074914-9 |D s |
| 689 | 1 | |5 DE-604 | |
| 700 | 1 | |a Liu, Fenrong |0 (DE-588)1195783388 |4 edt | |
| 700 | 1 | |a Ono, Hiroakira |e Sonstige |0 (DE-588)1159674604 |4 oth | |
| 856 | 4 | 2 | |m Digitalisierung BSB München - ADAM Catalogue Enrichment |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032122288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032122288 | ||
Datensatz im Suchindex
| _version_ | 1804181445848072192 |
|---|---|
| adam_text | Contents Contributed Papers The Modal Logics of the Poison Game.......................................................... Francesca Zaffora Blando, Krzysztof Mierzewski and Carlos Areces 3 A Logical Characterization of the Continuous Bar Induction................ Makoto Fujiwara and Tatsuji Kawai 25 Unary and Two-Variable Interval Logics...................................................... Kamal Lodaya 35 Logics for Knowability Paradox with a Non-normal Possibility Operator........................................................................................... Youan Su and Katsuhiko Sano 51 Local Fact Change Logic................................................................................. Declan Thompson 73 Solution Complexity of Local Variants of Sabotage Game....................... Tianwei Zhang 97 Invited Papers Graph Games and Logic Design...................................................................... Johan van Benthem and Fenrong Liu 125 De Re, De Dicto, and Binding Modalities..................................................... Melvin Fitting 147 Refutation Systems: An Overview and Some Applications to Philosophical Logics...................................................................................... Valentin Goranko, Gabriele Pulcini and Tomasz Skura Influence in Different Network Structures................................................... Yunqi Xue, Röhit Parikh and Mihai Gociu 173 199 ix
|
| adam_txt |
Contents Contributed Papers The Modal Logics of the Poison Game. Francesca Zaffora Blando, Krzysztof Mierzewski and Carlos Areces 3 A Logical Characterization of the Continuous Bar Induction. Makoto Fujiwara and Tatsuji Kawai 25 Unary and Two-Variable Interval Logics. Kamal Lodaya 35 Logics for Knowability Paradox with a Non-normal Possibility Operator. Youan Su and Katsuhiko Sano 51 Local Fact Change Logic. Declan Thompson 73 Solution Complexity of Local Variants of Sabotage Game. Tianwei Zhang 97 Invited Papers Graph Games and Logic Design. Johan van Benthem and Fenrong Liu 125 De Re, De Dicto, and Binding Modalities. Melvin Fitting 147 Refutation Systems: An Overview and Some Applications to Philosophical Logics. Valentin Goranko, Gabriele Pulcini and Tomasz Skura Influence in Different Network Structures. Yunqi Xue, Röhit Parikh and Mihai Gociu 173 199 ix |
| any_adam_object | 1 |
| any_adam_object_boolean | 1 |
| author2 | Liu, Fenrong |
| author2_role | edt |
| author2_variant | f l fl |
| author_GND | (DE-588)1195783388 (DE-588)1159674604 |
| author_corporate | Asian Workshop on Philosophical Logic Peking |
| author_corporate_role | aut |
| author_facet | Liu, Fenrong Asian Workshop on Philosophical Logic Peking |
| author_sort | Asian Workshop on Philosophical Logic Peking |
| building | Verbundindex |
| bvnumber | BV046711904 |
| ctrlnum | (OCoLC)1164612837 (DE-599)BVBBV046711904 |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01705nam a2200397 c 4500</leader><controlfield tag="001">BV046711904</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200618 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">200508s2020 a||| |||| 10||| eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9789811522208</subfield><subfield code="c">hardback</subfield><subfield code="9">978-981-152220-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1164612837</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV046711904</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-12</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Asian Workshop on Philosophical Logic</subfield><subfield code="n">4.</subfield><subfield code="d">2018</subfield><subfield code="c">Peking</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1212038967</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Knowledge, proof and dynamics</subfield><subfield code="b">The Fourth Asian Workshop on Philosophical Logic</subfield><subfield code="c">Fenrong Liu, Hiroakira Ono, Junhua Yu, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Singapore</subfield><subfield code="b">Springer</subfield><subfield code="c">[2020]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2020</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">vii, 217 Seiten</subfield><subfield code="b">Illustrationen, Diagramme</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="0" ind2=" "><subfield code="a">Logic in Asia: Studia Logica Library</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</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)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="y">20.10.2018-21.10.2018</subfield><subfield code="z">Beijing</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Logik</subfield><subfield code="0">(DE-588)4036202-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" 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="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Liu, Fenrong</subfield><subfield code="0">(DE-588)1195783388</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Ono, Hiroakira</subfield><subfield code="e">Sonstige</subfield><subfield code="0">(DE-588)1159674604</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung BSB München - ADAM Catalogue Enrichment</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=032122288&sequence=000001&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-032122288</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift 20.10.2018-21.10.2018 Beijing gnd-content |
| genre_facet | Konferenzschrift 20.10.2018-21.10.2018 Beijing |
| id | DE-604.BV046711904 |
| illustrated | Illustrated |
| index_date | 2024-07-03T14:31:05Z |
| indexdate | 2024-07-10T08:51:47Z |
| institution | BVB |
| institution_GND | (DE-588)1212038967 |
| isbn | 9789811522208 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032122288 |
| oclc_num | 1164612837 |
| open_access_boolean | |
| owner | DE-12 |
| owner_facet | DE-12 |
| physical | vii, 217 Seiten Illustrationen, Diagramme |
| publishDate | 2020 |
| publishDateSearch | 2020 |
| publishDateSort | 2020 |
| publisher | Springer |
| record_format | marc |
| series2 | Logic in Asia: Studia Logica Library |
| spelling | Asian Workshop on Philosophical Logic 4. 2018 Peking Verfasser (DE-588)1212038967 aut Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic Fenrong Liu, Hiroakira Ono, Junhua Yu, editors Singapore Springer [2020] © 2020 vii, 217 Seiten Illustrationen, Diagramme txt rdacontent n rdamedia nc rdacarrier Logic in Asia: Studia Logica Library Logik (DE-588)4036202-4 gnd rswk-swf Modallogik (DE-588)4074914-9 gnd rswk-swf (DE-588)1071861417 Konferenzschrift 20.10.2018-21.10.2018 Beijing gnd-content Logik (DE-588)4036202-4 s DE-604 Modallogik (DE-588)4074914-9 s Liu, Fenrong (DE-588)1195783388 edt Ono, Hiroakira Sonstige (DE-588)1159674604 oth Digitalisierung BSB München - ADAM Catalogue Enrichment application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032122288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic Logik (DE-588)4036202-4 gnd Modallogik (DE-588)4074914-9 gnd |
| subject_GND | (DE-588)4036202-4 (DE-588)4074914-9 (DE-588)1071861417 |
| title | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic |
| title_auth | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic |
| title_exact_search | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic |
| title_exact_search_txtP | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic |
| title_full | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic Fenrong Liu, Hiroakira Ono, Junhua Yu, editors |
| title_fullStr | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic Fenrong Liu, Hiroakira Ono, Junhua Yu, editors |
| title_full_unstemmed | Knowledge, proof and dynamics The Fourth Asian Workshop on Philosophical Logic Fenrong Liu, Hiroakira Ono, Junhua Yu, editors |
| title_short | Knowledge, proof and dynamics |
| title_sort | knowledge proof and dynamics the fourth asian workshop on philosophical logic |
| title_sub | The Fourth Asian Workshop on Philosophical Logic |
| topic | Logik (DE-588)4036202-4 gnd Modallogik (DE-588)4074914-9 gnd |
| topic_facet | Logik Modallogik Konferenzschrift 20.10.2018-21.10.2018 Beijing |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=032122288&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT asianworkshoponphilosophicallogicpeking knowledgeproofanddynamicsthefourthasianworkshoponphilosophicallogic AT liufenrong knowledgeproofanddynamicsthefourthasianworkshoponphilosophicallogic AT onohiroakira knowledgeproofanddynamicsthefourthasianworkshoponphilosophicallogic |