Structural analysis of non-classical logics: the proceedings of the second Taiwan Philosophical Logic Colloquium
Saved in:
| Corporate Author: | |
|---|---|
| Other Authors: | , , |
| Format: | Conference Proceeding Book |
| Language: | English |
| Published: |
Berlin ; Heidelberg
Springer
[2016]
|
| Series: | Logic in Asia: Studia Logica Library
|
| Subjects: | |
| Online Access: | Inhaltstext Inhaltsverzeichnis |
| Physical Description: | xiv, 278 Seiten Diagramme 235 mm x 155 mm, 0 g |
| ISBN: | 9783662483565 3662483564 |
Staff View
MARC
| LEADER | 00000nam a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042896871 | ||
| 003 | DE-604 | ||
| 005 | 20170413 | ||
| 007 | t | ||
| 008 | 150929s2016 gw |||| |||| 10||| eng d | ||
| 015 | |a 15,N31 |2 dnb | ||
| 016 | 7 | |a 1074299159 |2 DE-101 | |
| 020 | |a 9783662483565 |c Gb. : ca. EUR 149.79 (DE) (freier Pr.), ca. EUR 153.99 (AT) (freier Pr.), ca. sfr 186.50 (freier Pr.) |9 978-3-662-48356-5 | ||
| 020 | |a 3662483564 |9 3-662-48356-4 | ||
| 024 | 3 | |a 9783662483565 | |
| 028 | 5 | 2 | |a Best.-Nr.: 978-3-662-48356-5 |
| 035 | |a (OCoLC)915164461 | ||
| 035 | |a (DE-599)DNB1074299159 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-11 |a DE-12 | ||
| 082 | 0 | |a 100 |2 23 | |
| 084 | |a CI 8500 |0 (DE-625)18610: |2 rvk | ||
| 084 | |a 100 |2 sdnb | ||
| 111 | 2 | |a Taiwan Philosophical Logic Colloquium |n 2. |d 2014 |c Taipei |j Verfasser |0 (DE-588)1079184465 |4 aut | |
| 245 | 1 | 0 | |a Structural analysis of non-classical logics |b the proceedings of the second Taiwan Philosophical Logic Colloquium |c Syraya Chin-Mu Yang , Duen-Min Deng, Hanti Lin, editors |
| 264 | 1 | |a Berlin ; Heidelberg |b Springer |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a xiv, 278 Seiten |b Diagramme |c 235 mm x 155 mm, 0 g | ||
| 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 Nichtklassische Logik |0 (DE-588)4197462-1 |2 gnd |9 rswk-swf |
| 653 | |a Research | ||
| 653 | |a common knowledge and assertion | ||
| 653 | |a dynamic/epistemic logic | ||
| 653 | |a incompatible paraconsistency | ||
| 653 | |a interpolation properties | ||
| 653 | |a justification logic | ||
| 653 | |a logic for games | ||
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Nichtklassische Logik |0 (DE-588)4197462-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Yang, Syraya Chin-Mu |4 edt | |
| 700 | 1 | |a Deng, Duen-Min |4 edt | |
| 700 | 1 | |a Lin, Hanti |4 edt | |
| 856 | 4 | 2 | |m X:MVB |q text/html |u http://deposit.dnb.de/cgi-bin/dokserv?id=5328639&prov=M&dok_var=1&dok_ext=htm |3 Inhaltstext |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028325185&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-028325185 | |
Record in the Search Index
| _version_ | 1809772166902710272 |
|---|---|
| adam_text |
CONTENTS
1 SEMANTICAL APPROACH TO CUT ELIMINATION AND SUBFORMULA
PROPERTY IN MODAL LOGIC 1
HIROAKIRA ONO
2 ULTRAPRODUCTS OF ADMISSIBLE MODELS FOR QUANTIFIED
MODAL LOGIC 17
ROBERT GOLDBLATT
3 LOGIC AND/OF TRUTHMAKING 37
JAMIN ASAY
4 STRUCTURAL MODELS FOR WILLIAMSON'S MODAL EPISTEMOLOGY 57
DUEN-MIN DENG
5 MOTIVATING THE CAUSAL MODELING SEMANTICS OF COUNTERFACTUALS,
OR, WHY WE SHOULD FAVOR THE CAUSAL MODELING SEMANTICS
OVER THE POSSIBLE-WORLDS SEMANTICS 83
KOK YONG LEE
6 THE MEANING OF EPISTEMIC MODALITY AND THE ABSENCE
OF TRUTH ILL
HANTI LIN
7 REVISING A LABELLED SEQUENT CALCULUS FOR PUBLIC ANNOUNCEMENT
LOGIC 131
SHOSHIN NOMURA, KATSUHIKO SANO AND SATOSHI TOJO
8 LOGICS FOR DYNAMIC EPISTEMIC BEHAVIORAL STRATEGIES 159
JOSHUA SACK
XLLL
HTTP://D-NB.INFO/1074299159
XIV CONTENTS
9 MEASUREMENT-THEORETIC FOUNDATIONS OF OBSERVATIONAL-PREDICATE
LOGIC 183
SATORU SUZUKI
10 CHANNEL THEORETIC REFLECTIONS ON DYNAMIC LOGICS
OF SPEECH ACTS 201
TOMOYUKI YAMADA
11 CONSTRUCTIVE EMBEDDING FROM EXTENSIONS OF LOGICS OF STRICT
IMPLICATION INTO MODAL LOGICS 223
SAKIKO YAMASAKI AND KATSUHIKO SANO
12 COMMON KNOWLEDGE AND THE KNOWLEDGE ACCOUNT
OF ASSERTION 253
SYRAYA CHIN-MU YANG |
| any_adam_object | 1 |
| author2 | Yang, Syraya Chin-Mu Deng, Duen-Min Lin, Hanti |
| author2_role | edt edt edt |
| author2_variant | s c m y scm scmy d m d dmd h l hl |
| author_corporate | Taiwan Philosophical Logic Colloquium Taipei |
| author_corporate_role | aut |
| author_facet | Yang, Syraya Chin-Mu Deng, Duen-Min Lin, Hanti Taiwan Philosophical Logic Colloquium Taipei |
| author_sort | Taiwan Philosophical Logic Colloquium Taipei |
| building | Verbundindex |
| bvnumber | BV042896871 |
| classification_rvk | CI 8500 |
| ctrlnum | (OCoLC)915164461 (DE-599)DNB1074299159 |
| dewey-full | 100 |
| dewey-hundreds | 100 - Philosophy & psychology |
| dewey-ones | 100 - Philosophy & psychology |
| dewey-raw | 100 |
| dewey-search | 100 |
| dewey-sort | 3100 |
| dewey-tens | 100 - Philosophy & psychology |
| discipline | Philosophie |
| format | Conference Proceeding Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000zc 4500</leader><controlfield tag="001">BV042896871</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20170413</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">150929s2016 gw |||| |||| 10||| eng d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">15,N31</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">1074299159</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783662483565</subfield><subfield code="c">Gb. : ca. EUR 149.79 (DE) (freier Pr.), ca. EUR 153.99 (AT) (freier Pr.), ca. sfr 186.50 (freier Pr.)</subfield><subfield code="9">978-3-662-48356-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3662483564</subfield><subfield code="9">3-662-48356-4</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783662483565</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">Best.-Nr.: 978-3-662-48356-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)915164461</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB1074299159</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-11</subfield><subfield code="a">DE-12</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">100</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">CI 8500</subfield><subfield code="0">(DE-625)18610:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">100</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="111" ind1="2" ind2=" "><subfield code="a">Taiwan Philosophical Logic Colloquium</subfield><subfield code="n">2.</subfield><subfield code="d">2014</subfield><subfield code="c">Taipei</subfield><subfield code="j">Verfasser</subfield><subfield code="0">(DE-588)1079184465</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Structural analysis of non-classical logics</subfield><subfield code="b">the proceedings of the second Taiwan Philosophical Logic Colloquium</subfield><subfield code="c">Syraya Chin-Mu Yang , Duen-Min Deng, Hanti Lin, editors</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Berlin ; Heidelberg</subfield><subfield code="b">Springer</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 278 Seiten</subfield><subfield code="b">Diagramme</subfield><subfield code="c">235 mm x 155 mm, 0 g</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">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">Research</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">common knowledge and assertion</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">dynamic/epistemic logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">incompatible paraconsistency</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">interpolation properties</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">justification logic</subfield></datafield><datafield tag="653" ind1=" " ind2=" "><subfield code="a">logic for games</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="689" ind1="0" ind2="0"><subfield code="a">Nichtklassische Logik</subfield><subfield code="0">(DE-588)4197462-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Yang, Syraya Chin-Mu</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Deng, Duen-Min</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Lin, Hanti</subfield><subfield code="4">edt</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">X:MVB</subfield><subfield code="q">text/html</subfield><subfield code="u">http://deposit.dnb.de/cgi-bin/dokserv?id=5328639&prov=M&dok_var=1&dok_ext=htm</subfield><subfield code="3">Inhaltstext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=028325185&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028325185</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV042896871 |
| illustrated | Not Illustrated |
| indexdate | 2024-09-10T01:53:52Z |
| institution | BVB |
| institution_GND | (DE-588)1079184465 |
| isbn | 9783662483565 3662483564 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028325185 |
| oclc_num | 915164461 |
| open_access_boolean | |
| owner | DE-11 DE-12 |
| owner_facet | DE-11 DE-12 |
| physical | xiv, 278 Seiten Diagramme 235 mm x 155 mm, 0 g |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer |
| record_format | marc |
| series2 | Logic in Asia: Studia Logica Library |
| spelling | Taiwan Philosophical Logic Colloquium 2. 2014 Taipei Verfasser (DE-588)1079184465 aut Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium Syraya Chin-Mu Yang , Duen-Min Deng, Hanti Lin, editors Berlin ; Heidelberg Springer [2016] © 2016 xiv, 278 Seiten Diagramme 235 mm x 155 mm, 0 g txt rdacontent n rdamedia nc rdacarrier Logic in Asia: Studia Logica Library Nichtklassische Logik (DE-588)4197462-1 gnd rswk-swf Research common knowledge and assertion dynamic/epistemic logic incompatible paraconsistency interpolation properties justification logic logic for games (DE-588)1071861417 Konferenzschrift gnd-content Nichtklassische Logik (DE-588)4197462-1 s DE-604 Yang, Syraya Chin-Mu edt Deng, Duen-Min edt Lin, Hanti edt X:MVB text/html http://deposit.dnb.de/cgi-bin/dokserv?id=5328639&prov=M&dok_var=1&dok_ext=htm Inhaltstext DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028325185&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium Nichtklassische Logik (DE-588)4197462-1 gnd |
| subject_GND | (DE-588)4197462-1 (DE-588)1071861417 |
| title | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium |
| title_auth | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium |
| title_exact_search | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium |
| title_full | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium Syraya Chin-Mu Yang , Duen-Min Deng, Hanti Lin, editors |
| title_fullStr | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium Syraya Chin-Mu Yang , Duen-Min Deng, Hanti Lin, editors |
| title_full_unstemmed | Structural analysis of non-classical logics the proceedings of the second Taiwan Philosophical Logic Colloquium Syraya Chin-Mu Yang , Duen-Min Deng, Hanti Lin, editors |
| title_short | Structural analysis of non-classical logics |
| title_sort | structural analysis of non classical logics the proceedings of the second taiwan philosophical logic colloquium |
| title_sub | the proceedings of the second Taiwan Philosophical Logic Colloquium |
| topic | Nichtklassische Logik (DE-588)4197462-1 gnd |
| topic_facet | Nichtklassische Logik Konferenzschrift |
| url | http://deposit.dnb.de/cgi-bin/dokserv?id=5328639&prov=M&dok_var=1&dok_ext=htm http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028325185&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT taiwanphilosophicallogiccolloquiumtaipei structuralanalysisofnonclassicallogicstheproceedingsofthesecondtaiwanphilosophicallogiccolloquium AT yangsyrayachinmu structuralanalysisofnonclassicallogicstheproceedingsofthesecondtaiwanphilosophicallogiccolloquium AT dengduenmin structuralanalysisofnonclassicallogicstheproceedingsofthesecondtaiwanphilosophicallogiccolloquium AT linhanti structuralanalysisofnonclassicallogicstheproceedingsofthesecondtaiwanphilosophicallogiccolloquium |